aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/test/beam_validator_SUITE.erl
AgeCommit message (Expand)Author
2019-04-23beam_validator: Don't infer types for dead valuesJohn Högberg
2019-03-18beam_validator: Infer types on both sides of '=:='John Högberg
2019-03-05beam_validator: Refactor type conflict resolutionJohn Högberg
2019-02-27beam_validator: Track types by value rather than by registerJohn Högberg
2019-02-21beam_validator: Refactor liveness/stack initialization checksJohn Högberg
2019-02-21beam_validator: Refactor try/catch handlingJohn Högberg
2019-01-24Make the beam_validator smarter again, againJohn Högberg
2019-01-17Make the beam_validator smarter (again)Björn Gustavsson
2018-09-25beam_validator: Use set_aliased_type in more operationsJohn Högberg
2018-07-06Call test_lib:recompile/1 from init_per_suite/1Björn Gustavsson
2018-06-18Update copyright yearHenrik Nord
2018-04-27beam_validator: Verify Y registers in exception-causing instructionsBjörn Gustavsson
2018-04-06Check that messages outside of the heap are not corruptedBjörn Gustavsson
2018-03-01Enhance beam_validator to check proper nesting of try/catch and catchBjörn Gustavsson
2018-01-23beam_validator: Validate building of tuplesBjörn Gustavsson
2017-11-30Use the new syntax in more test suitesBjörn Gustavsson
2017-06-14Update copyright yearHans Nilsson
2017-05-23Correct handling of module name in compile:forms/1,2Björn Gustavsson
2016-09-13beam_validator: Handle unreachable instructionsBjörn Gustavsson
2016-05-31Add additional coverage and smoke test of beam_validatorBjörn Gustavsson
2016-04-13Merge branch 'henrik/update-copyrightyear'Henrik Nord
2016-04-08Remove unreachable code after 'raise' instructionsBjörn Gustavsson
2016-03-15update copyright-yearHenrik Nord
2016-02-25Remove ?line macrosBjörn Gustavsson
2016-02-25Eliminate use of test_server:fail/0,1Björn Gustavsson
2016-02-25Eliminate use of ?config() macroBjörn Gustavsson
2016-02-25Modernize use of timetrapsBjörn Gustavsson
2016-02-17Eliminate use of test_server.hrl and test_server_line.hrlBjörn Gustavsson
2015-08-21beam_validator: Don't allow x(1023) to be usedBjörn Gustavsson
2015-06-18Change license text to APLv2Bruce Yinhe
2015-04-29beam_validator: Stop validating the 'aligned' flag for binariesBjörn Gustavsson
2015-04-29beam_validator: Clean up updating of types for y registerBjörn Gustavsson
2015-04-13beam_validator: No longer require strict literal term orderBjörn Gustavsson
2015-03-09Introduce '%live' annotations with a complete register mapBjörn Gustavsson
2015-02-20Merge branch 'bjorn/compiler/beam_validator'Björn Gustavsson
2015-02-18beam_validator: Remove the file/1 and files/1 functionsBjörn Gustavsson
2015-02-18beam_validator: Remove support for all other unsupported instructionsBjörn Gustavsson
2015-02-18beam_validator: Remove support for unsupported bit syntax instructionsBjörn Gustavsson
2015-02-18beam_validator: Tighten and simplify map validation codeBjörn Gustavsson
2015-01-21beam_validator_SUITE: Mend the compiler_bug/1 test caseBjörn Gustavsson
2013-08-01Forbid returning a match context in beam_validatorAnthony Ramine
2013-01-25Update copyright yearsBjörn-Egil Dahlberg
2012-10-23compiler: Run testcases in parallelBjörn Gustavsson
2012-01-04beam_validator_SUITE:beam_files/1: Validate modules in parallelBjörn Gustavsson
2011-04-12compiler tests: Reinstate ?MODULE macro in calls to test_lib:recompile/1Björn Gustavsson
2011-03-11Update copyright yearsBjörn-Egil Dahlberg
2011-02-17Rename Suite Callback to Common Test HookLukas Larsson
2011-02-17Fix formatting for compilerLukas Larsson
2011-02-17Add init_per_suite and end_per_suiteLukas Larsson
2011-02-17Add ts_install_scb to suite/0Lukas Larsson
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-04 23:39:48 +0000