otp.git - Mirror of Erlang/OTP repository.

Age	Commit message (Expand)	Author
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
2018-10-01	Merge pull request #1965 from bjorng/bjorn/compiler/misc-cleanups	Björn Gustavsson
2018-09-28	Merge pull request #1958 from jhogberg/john/compiler/ssa-bsm-opt	John Högberg
2018-09-28	Remove unused instruction bs_context_to_binary from the compiler	John Högberg
2018-09-28	Rewrite BSM optimizations in the new SSA-based intermediate format	John Högberg
2018-09-26	beam_validator: Disallow literal arguments for certain instructions	Björn Gustavsson
2018-09-25	beam_validator: Use set_aliased_type in more operations	John Högberg
2018-09-12	beam_validator: Infer more types	Björn Gustavsson
2018-09-12	beam_validator: Validate the literals in select_val	Björn Gustavsson
2018-09-12	beam_validator: Handle types for unary '-' or '+'	Björn Gustavsson
2018-09-03	Introduce a put_tuple2 instruction	Björn Gustavsson
2018-08-24	Merge branch 'bjorn/compiler/ssa'	Björn Gustavsson
2018-08-23	Merge branch 'maint'	Björn Gustavsson
2018-08-22	beam_validator: Infer the type of the map argument for is_map_key/2	Björn Gustavsson
2018-08-17	beam_validator: Infer the types of copies in a smarter way	Björn Gustavsson
2018-08-17	beam_validator: Improve merge of cons and literal list	Björn Gustavsson