otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Expand)	Author
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
2019-02-20	beam_validator: Remove special handling of map_get/is_map_key	John Högberg
2019-02-20	beam_validator: Refactor select_tuple_arity	John Högberg
2019-02-20	beam_validator: Treat select_val as a series of '=:='	John Högberg
2019-02-20	beam_validator: Treat all bs_get instructions as extractions	John Högberg
2019-02-20	beam_validator: Separate BIF/call types more clearly	John Högberg
2019-02-20	beam_validator: Assert that no tuple elements are out of bounds	John Högberg
2019-02-20	beam_validator: Get rid of the last uses of set_aliased_type	John Högberg
2019-02-20	beam_validator: Minor cosmetic refactoring	John Högberg
2019-02-18	beam_validator: Infer types from result of all type test BIFs	John Högberg
2019-02-18	beam_validator: Infer BIF argument types	John Högberg
2019-02-08	beam_validator: type_test in BIFs that only fail on invalid types	John Högberg
2019-02-08	beam_validator: Simplify complex branches	John Högberg
2019-02-08	beam_validator: Explain why verify_get_map wipes dst registers	John Högberg
2019-02-08	beam_validator: fconv means we have a number	John Högberg
2019-02-08	beam_validator: Simplify update_ne/eq_types	John Högberg
2019-02-08	beam_validator: Remove pointless fragility propagation	John Högberg
2019-02-08	beam_validator: Misc cosmetic refactoring	John Högberg
2019-02-05	beam_ssa_type: Track the types of tuple elements	John Högberg
2019-02-04	beam_validator: Remove unreachable case clause	John Högberg
2019-01-28	beam_validator: Add explicit assertions for fragile terms	John Högberg
2019-01-28	beam_validator: Refactor type management	John Högberg
2019-01-24	Make the beam_validator smarter again, again	John Högberg
2019-01-21	beam_validator: Validate types on local function calls	John Högberg
2019-01-21	beam_validator: Add a stable interface for type annotations	John Högberg
2019-01-21	beam_validator: Handle aliased registers during type inference	John Högberg
2019-01-17	Make the beam_validator smarter (again)	Björn Gustavsson
2019-01-14	Infer types from more BIFs	Björn Gustavsson
2019-01-11	beam_validator: Infer types from '=:='	Björn Gustavsson
2018-11-30	beam_validator: Don't discard fragility	Björn Gustavsson