summaryrefslogtreecommitdiff
path: root/lib/compiler/src/beam_validator.erl
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'john/compiler/fail-labels-in-blocks-otp-18/ERIERL-48/OTP-14522'...Erlang/OTP2017-11-151-2/+2
|\
| * compiler: Fix live regs update on allocate in validatorLukas Larsson2017-08-161-2/+2
* | compiler: Add extra checks for get_map_elements in validatorBjörn-Egil Dahlberg2015-09-041-2/+23
|/
* Change license text to APLv2Bruce Yinhe2015-06-181-9/+10
* beam_validator: Stop validating the 'aligned' flag for binariesBjörn Gustavsson2015-04-291-79/+20
* beam_validator: Clean up updating of types for y registerBjörn Gustavsson2015-04-291-39/+26
* beam_validator: Remove support for removed BIF fault/1,2Björn Gustavsson2015-04-231-2/+0
* beam_validator: Correct merging of statesBjörn Gustavsson2015-04-231-2/+2
* beam_validator: Correct merging of y registersBjörn Gustavsson2015-04-231-13/+17
* beam_validator: No longer require strict literal term orderBjörn Gustavsson2015-04-131-15/+11
* beam_validator: Tighten tests of mapsBjörn Gustavsson2015-03-091-5/+15
* Introduce '%live' annotations with a complete register mapBjörn Gustavsson2015-03-091-3/+0
* beam_validator: Teach bif_type/3 and is_bif_safe/2 about is_map/1Björn Gustavsson2015-02-271-0/+2
* Merge branch 'bjorn/compiler/beam_validator'Björn Gustavsson2015-02-201-232/+16
|\
| * beam_validator: Exit immediately on crashesBjörn Gustavsson2015-02-181-14/+7
| * beam_validator: Remove the file/1 and files/1 functionsBjörn Gustavsson2015-02-181-123/+3
| * beam_validator: Remove support for all other unsupported instructionsBjörn Gustavsson2015-02-181-8/+0
| * beam_validator: Remove support for unsupported bit syntax instructionsBjörn Gustavsson2015-02-181-87/+6
* | beam_validator: Tighten and simplify map validation codeBjörn Gustavsson2015-02-181-30/+26
|/
* Add math:log2/1Olivier Girondel2015-01-141-0/+1
* compiler: Use variables in Map beam assmeblerBjörn-Egil Dahlberg2014-08-261-1/+3
* Deprecate pre-defined built-in typesHans Bolinder2014-02-231-6/+14
* Merge branch 'egil/compiler/maps-get_map_elements'Björn-Egil Dahlberg2014-02-211-6/+61
|\
| * compiler: Check literal order in beam_validatorBjörn-Egil Dahlberg2014-02-191-2/+47
| * compiler: Change map instructions for fetching valuesBjörn-Egil Dahlberg2014-02-131-5/+15
* | Change a list comprehension to a foreach/2 callKostis Sagonas2014-02-131-2/+2
|/
* beam_validator: Validate the "fun" argument for a call_fun/1 instructionBjörn Gustavsson2014-02-051-0/+1
* compiler: Implement different instructions for => and :=Björn Gustavsson2014-01-281-9/+14
* Implement support for maps in the compilerBjörn Gustavsson2014-01-281-0/+15
* Typo fix ambigous -> ambiguousLeo Correa2013-11-011-1/+1
* Forbid returning a match context in beam_validatorAnthony Ramine2013-08-011-0/+1
* beam_validator: Eliminate dialyzer warnings for unmatched returnsBjörn Gustavsson2013-02-061-7/+7
* Update copyright yearsBjörn-Egil Dahlberg2013-01-251-1/+1
* Make adjustments for UnicodeHans Bolinder2013-01-251-1/+1
* Update copyright yearsBjörn-Egil Dahlberg2012-08-311-1/+1
* beam_validator: Validate the size operand in bs_init_bits and bs_init2Björn Gustavsson2012-08-151-2/+14
* Update copyright yearsBjörn-Egil Dahlberg2011-12-091-1/+1
* beam_validator: Fix type for failure label for bs_start_match2/5Björn Gustavsson2011-12-061-2/+12
* compiler: Generate line instructionsBjörn Gustavsson2011-08-161-2/+13
* Remove warnings for clashes with new autoimported BIFsPatrik Nyblom2010-09-101-0/+2
* Remove (harmless) warnings about min/max in core applicationsPatrik Nyblom2010-06-021-0/+2
* Remove stray support for the bs_bits_to_bytes2/2 instructionBjörn Gustavsson2010-05-201-3/+0
* Introduce the new recv_mark/1 and recv_mark/1 instructionsBjörn Gustavsson2010-05-111-0/+5
* Merge branch 'bg/compiler-beam_validator' into ccase/r13b04_devErlang/OTP2010-01-191-8/+8
|\
| * beam_validator: fix incorrect assumptions about GC guard BIFsBjörn Gustavsson2010-01-151-3/+3
|/
* The R13B03 release.OTP_R13B03Erlang/OTP2009-11-201-0/+1764
View Lorry Controller Status