aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/src/beam_validator.erl
AgeCommit message (Expand)Author
2019-08-07Merge branch 'john/compiler/validator-improve-try_case-handling'John Högberg
2019-08-07Merge branch 'john/compiler/explicit-call-exceptions'John Högberg
2019-08-06beam_validator: Disallow jumps to try_case handlersJohn Högberg
2019-08-06compiler: Simplify set_tuple_element optimizationJohn Högberg
2019-08-06compiler: Make 'succeeded' optimization more generalJohn Högberg
2019-08-06compiler: Simplify call type optimizationJohn Högberg
2019-08-05Merge branch 'maint'Björn Gustavsson
2019-08-05Merge branch 'bjorn/compiler/fix-stack-init/ERL-1017/OTP-15968' into maintBjörn Gustavsson
2019-08-05Ensure that the stack slots are initialized when matching mapsBjörn Gustavsson
2019-08-05Merge branch 'maint'John Högberg
2019-07-11beam_validator: Values referenced by other values must be mergedJohn Högberg
2019-07-11beam_validator: Improve type inference on inequalityJohn Högberg
2019-07-11beam_validator: Remove redundant calls to infer_typesJohn Högberg
2019-07-05beam_ssa_type: Infer types on switch failureJohn Högberg
2019-07-05compiler: Introduce union typesJohn Högberg
2019-07-05compiler: Remove beam_call_types:never_throws/3John Högberg
2019-07-05beam_validator: Slightly improve type/tag-related commentsJohn Högberg
2019-07-05beam_validator: Improve negative type inferenceJohn Högberg
2019-07-05beam_validator: Clean up abstract/match context type handlingJohn Högberg
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-29 00:31:42 +0000