aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/src/beam_validator.erl
AgeCommit message (Expand)Author
2015-09-04compiler: Add extra checks for get_map_elements in validatorBjörn-Egil Dahlberg
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-23beam_validator: Remove support for removed BIF fault/1,2Björn Gustavsson
2015-04-23beam_validator: Correct merging of statesBjörn Gustavsson
2015-04-23beam_validator: Correct merging of y registersBjörn Gustavsson
2015-04-13beam_validator: No longer require strict literal term orderBjörn Gustavsson
2015-03-09beam_validator: Tighten tests of mapsBjörn Gustavsson
2015-03-09Introduce '%live' annotations with a complete register mapBjörn Gustavsson
2015-02-27beam_validator: Teach bif_type/3 and is_bif_safe/2 about is_map/1Björn Gustavsson
2015-02-20Merge branch 'bjorn/compiler/beam_validator'Björn Gustavsson
2015-02-18beam_validator: Exit immediately on crashesBjö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-14Add math:log2/1Olivier Girondel
2014-08-26compiler: Use variables in Map beam assmeblerBjörn-Egil Dahlberg
2014-02-23Deprecate pre-defined built-in typesHans Bolinder
2014-02-21Merge branch 'egil/compiler/maps-get_map_elements'Björn-Egil Dahlberg
2014-02-19compiler: Check literal order in beam_validatorBjörn-Egil Dahlberg
2014-02-13compiler: Change map instructions for fetching valuesBjörn-Egil Dahlberg
2014-02-13Change a list comprehension to a foreach/2 callKostis Sagonas
2014-02-05beam_validator: Validate the "fun" argument for a call_fun/1 instructionBjörn Gustavsson
2014-01-28compiler: Implement different instructions for => and :=Björn Gustavsson
2014-01-28Implement support for maps in the compilerBjörn Gustavsson
2013-11-01Typo fix ambigous -> ambiguousLeo Correa
2013-08-01Forbid returning a match context in beam_validatorAnthony Ramine
2013-02-06beam_validator: Eliminate dialyzer warnings for unmatched returnsBjörn Gustavsson
2013-01-25Update copyright yearsBjörn-Egil Dahlberg
2013-01-25Make adjustments for UnicodeHans Bolinder
2012-08-31Update copyright yearsBjörn-Egil Dahlberg
2012-08-15beam_validator: Validate the size operand in bs_init_bits and bs_init2Björn Gustavsson
2011-12-09Update copyright yearsBjörn-Egil Dahlberg
2011-12-06beam_validator: Fix type for failure label for bs_start_match2/5Björn Gustavsson
2011-08-16compiler: Generate line instructionsBjörn Gustavsson
2010-09-10Remove warnings for clashes with new autoimported BIFsPatrik Nyblom
2010-06-02Remove (harmless) warnings about min/max in core applicationsPatrik Nyblom
2010-05-20Remove stray support for the bs_bits_to_bytes2/2 instructionBjörn Gustavsson
2010-05-11Introduce the new recv_mark/1 and recv_mark/1 instructionsBjörn Gustavsson
2010-01-19Merge branch 'bg/compiler-beam_validator' into ccase/r13b04_devErlang/OTP
2010-01-15beam_validator: fix incorrect assumptions about GC guard BIFsBjörn Gustavsson
2009-11-20The R13B03 release.OTP_R13B03Erlang/OTP