aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler
AgeCommit message (Expand)Author
2019-07-05beam_call_types: Add lists:keyfind/3 and lists:search/2John Högberg
2019-07-05compiler: Introduce union typesJohn Högberg
2019-07-05compiler: Explain and rename ?BADARG_BLOCKJohn Högberg
2019-07-05beam_ssa_type: Skip impossible branchesJohn Högberg
2019-07-05compiler: Introduce exception trampolinesJohn Högberg
2019-07-05beam_ssa_type: Fix type inference on BIFs without a success checkJohn 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-07-05beam_call_types: Index must be >= 1 in setelement/2John Högberg
2019-07-05beam_types_SUITE: Fix shrinking of bitstringsJohn Högberg
2019-07-05beam_types: Fix an integer consistency in meet/2John Högberg
2019-07-05beam_types: Extend the type lattice testsJohn Högberg
2019-07-04Merge branch 'maint'John Högberg
2019-07-04Merge branch 'john/compiler/fix-fail-path-exceptions-bsm/OTP-15946' into maintJohn Högberg
2019-07-04Merge branch 'john/compiler/fix-unsafe-tuple_size-opt/OTP-15945' into maintJohn Högberg
2019-07-03beam_ssa_bsm: Leave ?BADARG_BLOCK alone when cloning fail pathJohn Högberg
2019-07-03beam_ssa_opt: Do not apply tuple_size optimization outside guardsJohn Högberg
2019-06-27Merge branch 'maint'Björn Gustavsson
2019-06-26Fix slow compilation of huge functionsBjörn Gustavsson
2019-06-26Merge branch 'maint'Björn Gustavsson
2019-06-26Merge branch 'kjell/make_test/OTP-15812'Kjell Winblad
2019-06-26Add "make test" command for root and application directoriesKjell Winblad
2019-06-24Eliminate dialyzer warningsBjörn Gustavsson
2019-06-18Merge branch 'john/compiler/fun-environment-types/OTP-15896'John Högberg
2019-06-18Merge branch 'john/compiler/cuddle-type-representation'John Högberg
2019-06-17compiler: Propagate types of free variablesJohn Högberg
2019-06-17Create a shared wrapper function for all occurrences of 'fun F/A'Björn Gustavsson
2019-06-14compiler: Add common method for literal -> type conversionJohn Högberg
2019-06-13genop.tab: Insert an "OTP 23" comment for clarityBjörn Gustavsson
2019-06-13Merge branch 'john/compiler/common-type-representation/OTP-15792'John Högberg
2019-06-13Merge branch 'maint'John Högberg
2019-06-13Merge branch 'maint-22' into maintJohn Högberg
2019-06-12beam_validator: Replace old type representation with beam_typesJohn Högberg
2019-06-12Merge pull request #2274 from kostis/cerl-fix-ctypeBjörn Gustavsson
2019-06-12beam_validator: Subtract types when inferring type test BIFsJohn Högberg
2019-06-12beam_call_types: Improve type handling of lists:zip/2 and friendsJohn Högberg
2019-06-12compiler: Move "known functions" to beam_typesJohn Högberg
2019-06-12compiler: Break out SSA/beam type definitions into a separate moduleJohn Högberg
2019-06-12Prepare releaseErlang/OTP
2019-06-12Merge branch 'john/compiler/fix-bad-bitstring-type-opt/OTP-15872' into maint-22Erlang/OTP
2019-06-11beam_ssa_type: Fix meet/join inconsistencyJohn Högberg
2019-06-11beam_ssa_type: Fix 'band' type determinationJohn 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-06-11Merge branch 'maint'John Högberg
2019-06-11Merge branch 'john/erts/fix-bad-get_tuple_element-opt/OTP-15871/ERIERL-374' i...John Högberg
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-17 06:26:42 +0000