otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Expand)	Author
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
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