aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/src/beam_validator.erl
AgeCommit message (Expand)Author
2019-06-14compiler: Add common method for literal -> type conversionJohn Högberg
2019-06-12beam_validator: Replace old type representation with beam_typesJohn Högberg
2019-06-12beam_validator: Subtract types when inferring type test BIFsJohn Högberg
2019-06-11beam_validator: Reduce literals to their typesJohn Högberg
2019-06-11beam_validator: Refactor local call validationJohn Högberg
2019-06-11beam_validator: Simplify the match context typeJohn Högberg
2019-06-11beam_validator: Use integers as tuple element keysJohn Högberg
2019-05-28Merge branch 'maint'John Högberg
2019-05-27Merge branch 'john/misc-fixes-and-additions'John Högberg
2019-05-27compiler: Fix broken type for erlang:'++'/2John Högberg
2019-05-22Make the swap instruction known to the compilerBjörn Gustavsson
2019-05-03beam_validator: Fail when trying to set the type of a dead valueJohn Högberg
2019-05-03beam_validator: Fix bad comment formatting/wordingJohn Högberg
2019-04-23beam_validator: Don't infer types for dead valuesJohn Högberg
2019-03-25beam_validator: Remove uncovered lines in lists_mod_return_type/3Björn Gustavsson
2019-03-18beam_validator: Infer types on both sides of '=:='John Högberg
2019-03-06beam_validator: Express test_arity/is_tagged_tuple as type testsJohn Högberg
2019-03-06beam_validator: Fix type subtraction on select_* and inequalityJohn Högberg
2019-03-05beam_validator: Style fix for asserts in list comprehensionsJohn Högberg
2019-03-05beam_validator: Infer types from bs_put instructionsJohn Högberg
2019-03-05beam_validator: is_map no longer needs special treatmentJohn Högberg
2019-03-05beam_validator: Refactor type conflict resolutionJohn Högberg
2019-03-05beam_validator: Refactor branch handlingJohn Högberg
2019-03-04beam_validator: Fix element/2 BIF handlingJohn Högberg
2019-03-04beam_validator: Rename get_move_term_type and clean up get_raw_typeJohn Högberg
2019-02-27beam_validator: Clarify a commentJohn Högberg
2019-02-27beam_validator: Make call argument validation stricterJohn Högberg
2019-02-27beam_validator: Don't explode when building terms in receiveJohn Högberg
2019-02-27beam_validator: Improve 'binary' type trackingJohn Högberg
2019-02-27beam_validator: Infer tuple element typesJohn Högberg
2019-02-27beam_validator: Tolerate the 'receive' hack in prim_evalJohn Högberg
2019-02-27beam_validator: Track types by value rather than by registerJohn Högberg
2019-02-27beam_validator: Disregard 'none' on joinJohn Högberg
2019-02-27beam_validator: Handle is_number, and join(float,int) -> numberJohn Högberg
2019-02-27beam_validator: Treat is_nil as is_eq_exact with nilJohn Högberg
2019-02-27beam_validator: Simplify get_element_typeJohn Högberg
2019-02-27beam_validator: Fix literal handling in meet/2John Högberg
2019-02-27beam_validator: Use literals as keys in container (tuple) elementsJohn Högberg
2019-02-27beam_validator: Refactor try/catch handling, againJohn Högberg
2019-02-27beam_validator: Refactor register initializationJohn Högberg
2019-02-27beam_validator: Refactor stack allocationJohn Högberg
2019-02-26beam_validator: Handle argument/return types for more functionsJohn Högberg
2019-02-26beam_validator: Don't forget last element when using put_tupleJohn Högberg
2019-02-21beam_ssa_type: Use types from some 'lists' functionsBjörn Gustavsson
2019-02-21beam_validator: Refactor call argument validationJohn Högberg
2019-02-21beam_validator: Refactor liveness/stack initialization checksJohn Högberg
2019-02-21beam_validator: Refactor try/catch handlingJohn Högberg
2019-02-20beam_validator: Remember definitions on assignmentJohn Högberg
2019-02-20beam_validator: Refactor stack trimmingJohn Högberg
2019-02-20beam_validator: Track definitions of all termsJohn Högberg