summaryrefslogtreecommitdiff
path: root/lib/compiler/test/beam_validator_SUITE.erl
Commit message (Expand)AuthorAgeFilesLines
* 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
* Make the beam_validator smarter (again)Björn Gustavsson2019-01-171-2/+25
* beam_validator: Use set_aliased_type in more operationsJohn Högberg2018-09-251-2/+17
* Call test_lib:recompile/1 from init_per_suite/1Björn Gustavsson2018-07-061-1/+1
* Update copyright yearHenrik Nord2018-06-181-1/+1
* beam_validator: Verify Y registers in exception-causing instructionsBjörn Gustavsson2018-04-271-2/+2
* Check that messages outside of the heap are not corruptedBjörn Gustavsson2018-04-061-2/+50
* Enhance beam_validator to check proper nesting of try/catch and catchBjörn Gustavsson2018-03-011-2/+10
* beam_validator: Validate building of tuplesBjörn Gustavsson2018-01-231-3/+17
* Use the new syntax in more test suitesBjörn Gustavsson2017-11-301-2/+2
* Update copyright yearHans Nilsson2017-06-141-1/+1
* Correct handling of module name in compile:forms/1,2Björn Gustavsson2017-05-231-1/+1
* beam_validator: Handle unreachable instructionsBjörn Gustavsson2016-09-131-2/+23
* Add additional coverage and smoke test of beam_validatorBjörn Gustavsson2016-05-311-2/+118
* Merge branch 'henrik/update-copyrightyear'Henrik Nord2016-04-131-1/+1
|\
| * update copyright-yearHenrik Nord2016-03-151-1/+1
* | Remove unreachable code after 'raise' instructionsBjörn Gustavsson2016-04-081-1/+1
|/
* Remove ?line macrosBjörn Gustavsson2016-02-251-111/+100
* Eliminate use of test_server:fail/0,1Björn Gustavsson2016-02-251-1/+1
* Eliminate use of ?config() macroBjörn Gustavsson2016-02-251-2/+2
* Modernize use of timetrapsBjörn Gustavsson2016-02-251-5/+4
* Eliminate use of test_server.hrl and test_server_line.hrlBjörn Gustavsson2016-02-171-1/+1
* beam_validator: Don't allow x(1023) to be usedBjörn Gustavsson2015-08-211-3/+3
* Change license text to APLv2Bruce Yinhe2015-06-181-9/+10
* beam_validator: Stop validating the 'aligned' flag for binariesBjörn Gustavsson2015-04-291-16/+3
* beam_validator: Clean up updating of types for y registerBjörn Gustavsson2015-04-291-14/+15
* beam_validator: No longer require strict literal term orderBjörn Gustavsson2015-04-131-2/+2
* Introduce '%live' annotations with a complete register mapBjörn Gustavsson2015-03-091-13/+13
* Merge branch 'bjorn/compiler/beam_validator'Björn Gustavsson2015-02-201-77/+86
|\
| * beam_validator: Remove the file/1 and files/1 functionsBjörn Gustavsson2015-02-181-57/+77
| * beam_validator: Remove support for all other unsupported instructionsBjörn Gustavsson2015-02-181-11/+7
| * beam_validator: Remove support for unsupported bit syntax instructionsBjörn Gustavsson2015-02-181-9/+2
* | beam_validator: Tighten and simplify map validation codeBjörn Gustavsson2015-02-181-2/+16
|/
* beam_validator_SUITE: Mend the compiler_bug/1 test caseBjörn Gustavsson2015-01-211-3/+10
* Forbid returning a match context in beam_validatorAnthony Ramine2013-08-011-2/+7
* Update copyright yearsBjörn-Egil Dahlberg2013-01-251-1/+1
* compiler: Run testcases in parallelBjörn Gustavsson2012-10-231-9/+10
View Lorry Controller Status