summaryrefslogtreecommitdiff
path: root/lib/compiler/test/beam_validator_SUITE.erl
Commit message (Expand)AuthorAgeFilesLines
* Update copyright yearErlang/OTP2023-04-251-1/+1
* beam_validator: Skip unnecessary type updatesJohn Högberg2023-03-031-2/+17
* Merge branch 'john/compiler/validator-fix-ne-inference/OTP-18365' into maint-25John Högberg2022-12-151-2/+12
|\
| * beam_validator: Fix logic bug in '=/=' inferenceJohn Högberg2022-12-151-2/+12
* | Merge branch 'maint'John Högberg2022-04-251-2/+40
|\ \
| * | beam_types: Improve meet/2 performance for tuplesJohn Högberg2022-04-211-2/+40
* | | Update copyright yearErlang/OTP2022-04-111-1/+1
* | | beam_validator: Fix validation failure for failing applyBjörn Gustavsson2022-04-041-7/+41
* | | Merge branch 'maint'Rickard Green2021-12-131-1/+1
|\ \ \ | |/ /
| * | Update copyright yearRickard Green2021-12-131-1/+1
* | | compiler: Remove some vestigial code for OTP 21 supportJohn Högberg2021-10-071-3/+3
|/ /
* | Merge branch 'richcarl/columns/PR-2664/OTP-16824'Hans Bolinder2021-02-011-3/+3
|\ \
| * | Fix obsolete error format in beam_validatorRichard Carlsson2021-01-251-3/+3
* | | compiler: Stop emitting the fclearerror and fcheckerror instructionsBjörn Gustavsson2021-01-291-6/+6
* | | Merge branch 'maint'John Högberg2021-01-281-24/+2
|\ \ \ | |/ / |/| / | |/
| * beam_validator: Ignore 'fcheckerror' / 'fclearerror'John Högberg2021-01-261-24/+2
* | compiler: Optimize 'receive' across function callsJohn Högberg2021-01-221-2/+5
|/
* Merge branch 'john/compiler/update-container-types/OTP-17039/ERL-1426' into j...John Högberg2020-12-021-2/+20
|\
| * beam_validator: Update containers when extracted values changeJohn Högberg2020-12-021-2/+21
| * beam_validator: Improve type inference for '=/='John Högberg2020-03-311-2/+25
* | beam_validator: Track the unit of saved bs match positionsJohn Högberg2020-09-111-2/+82
* | beam_validator: Simplify func_info/prologue validationJohn Högberg2020-03-171-23/+22
* | beam_validator: Split validation into a stronger and a weaker passJohn Högberg2020-03-171-1/+1
* | Merge branch 'maint'Rickard Green2020-03-131-1/+1
|\ \ | |/
| * Update copyright yearRickard Green2020-03-131-1/+1
* | beam_validator: Ignore unreachable catch blocksJohn Högberg2020-03-051-1/+1
* | beam_call_types: will_succeed/3 must return 'no' on 'none'John Högberg2020-03-041-2/+19
* | Merge branch 'maint'John Högberg2020-02-061-2/+19
|\ \ | |/
| * beam_validator: Add missing return type for is_map_key/2John Högberg2020-02-051-2/+19
* | Merge branch 'maint'John Högberg2020-01-201-1/+1
|\ \
| * | beam_validator: Make sure safe_instruction tests runsJohn Högberg2020-01-201-1/+2
| |/
* | Merge branch 'maint'John Högberg2020-01-141-1/+10
|\ \ | |/
| * beam_validator: Move safe instructions to the right validation stepJohn Högberg2020-01-131-1/+10
* | compiler: Add typed listsJohn Högberg2019-11-211-1/+1
* | Merge branch 'john/merge-fix-recv-opt/OTP-16219/maint' into john/merge-fix-re...John Högberg2019-10-301-2/+16
|\ \ | |/
| * beam_validator: Verify that receive markers aren't leaked on returnJohn Högberg2019-10-301-2/+15
* | compiler: Honor stack frames when calling exit BIFsJohn Högberg2019-09-091-9/+24
* | beam_validator: Disallow jumps to try_case handlersJohn Högberg2019-08-061-2/+15
* | Merge branch 'maint'John Högberg2019-08-051-0/+22
|\ \ | |/
| * beam_validator: Values referenced by other values must be mergedJohn Högberg2019-07-111-0/+22
* | beam_validator: Improve type inference on inequalityJohn Högberg2019-07-111-2/+21
* | beam_validator: Clean up abstract/match context type handlingJohn Högberg2019-07-051-2/+2
* | beam_validator: Replace old type representation with beam_typesJohn Högberg2019-06-121-3/+3
|/
* beam_validator: Don't infer types for dead valuesJohn Högberg2019-04-231-2/+23
* beam_validator: Infer types on both sides of '=:='John Högberg2019-03-181-2/+30
* beam_validator: Refactor type conflict resolutionJohn Högberg2019-03-051-4/+25
* beam_validator: Track types by value rather than by registerJohn Högberg2019-02-271-10/+9
* beam_validator: Refactor liveness/stack initialization checksJohn Högberg2019-02-211-12/+12
* beam_validator: Refactor try/catch handlingJohn Högberg2019-02-211-5/+5
* Make the beam_validator smarter again, againJohn Högberg2019-01-241-0/+17
View Lorry Controller Status