otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Expand)	Author
2019-06-14	compiler: Add common method for literal -> type conversion	John Högberg
2019-06-12	beam_validator: Replace old type representation with beam_types	John Högberg
2019-06-12	beam_validator: Subtract types when inferring type test BIFs	John Högberg
2019-06-11	beam_validator: Reduce literals to their types	John Högberg
2019-06-11	beam_validator: Refactor local call validation	John Högberg
2019-06-11	beam_validator: Simplify the match context type	John Högberg
2019-06-11	beam_validator: Use integers as tuple element keys	John Högberg
2019-05-28	Merge branch 'maint'	John Högberg
2019-05-27	Merge branch 'john/misc-fixes-and-additions'	John Högberg
2019-05-27	compiler: Fix broken type for erlang:'++'/2	John Högberg
2019-05-22	Make the swap instruction known to the compiler	Björn Gustavsson
2019-05-03	beam_validator: Fail when trying to set the type of a dead value	John Högberg
2019-05-03	beam_validator: Fix bad comment formatting/wording	John Högberg
2019-04-23	beam_validator: Don't infer types for dead values	John Högberg
2019-03-25	beam_validator: Remove uncovered lines in lists_mod_return_type/3	Björn Gustavsson
2019-03-18	beam_validator: Infer types on both sides of '=:='	John Högberg
2019-03-06	beam_validator: Express test_arity/is_tagged_tuple as type tests	John Högberg
2019-03-06	beam_validator: Fix type subtraction on select_* and inequality	John Högberg
2019-03-05	beam_validator: Style fix for asserts in list comprehensions	John Högberg
2019-03-05	beam_validator: Infer types from bs_put instructions	John Högberg
2019-03-05	beam_validator: is_map no longer needs special treatment	John Högberg
2019-03-05	beam_validator: Refactor type conflict resolution	John Högberg
2019-03-05	beam_validator: Refactor branch handling	John Högberg
2019-03-04	beam_validator: Fix element/2 BIF handling	John Högberg
2019-03-04	beam_validator: Rename get_move_term_type and clean up get_raw_type	John Högberg
2019-02-27	beam_validator: Clarify a comment	John Högberg
2019-02-27	beam_validator: Make call argument validation stricter	John Högberg
2019-02-27	beam_validator: Don't explode when building terms in receive	John Högberg
2019-02-27	beam_validator: Improve 'binary' type tracking	John Högberg
2019-02-27	beam_validator: Infer tuple element types	John Högberg
2019-02-27	beam_validator: Tolerate the 'receive' hack in prim_eval	John Högberg
2019-02-27	beam_validator: Track types by value rather than by register	John Högberg
2019-02-27	beam_validator: Disregard 'none' on join	John Högberg
2019-02-27	beam_validator: Handle is_number, and join(float,int) -> number	John Högberg
2019-02-27	beam_validator: Treat is_nil as is_eq_exact with nil	John Högberg
2019-02-27	beam_validator: Simplify get_element_type	John Högberg
2019-02-27	beam_validator: Fix literal handling in meet/2	John Högberg
2019-02-27	beam_validator: Use literals as keys in container (tuple) elements	John Högberg
2019-02-27	beam_validator: Refactor try/catch handling, again	John Högberg
2019-02-27	beam_validator: Refactor register initialization	John Högberg
2019-02-27	beam_validator: Refactor stack allocation	John Högberg
2019-02-26	beam_validator: Handle argument/return types for more functions	John Högberg
2019-02-26	beam_validator: Don't forget last element when using put_tuple	John Högberg
2019-02-21	beam_ssa_type: Use types from some 'lists' functions	Björn Gustavsson
2019-02-21	beam_validator: Refactor call argument validation	John Högberg
2019-02-21	beam_validator: Refactor liveness/stack initialization checks	John Högberg
2019-02-21	beam_validator: Refactor try/catch handling	John Högberg
2019-02-20	beam_validator: Remember definitions on assignment	John Högberg
2019-02-20	beam_validator: Refactor stack trimming	John Högberg
2019-02-20	beam_validator: Track definitions of all terms	John Högberg