aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl
AgeCommit message (Expand)Author
2017-01-12Merge branch 'maint'Hans Bolinder
2017-01-11dialyzer: Use maps instaed of dictHans Bolinder
2017-01-11Merge branch 'maint'Hans Bolinder
2017-01-11Merge branch 'hasse/dialyzer/fix_opaque_parms/OTP-14130' into maintHans Bolinder
2017-01-10Merge branch 'maint'Hans Bolinder
2017-01-10dialyzer: Fix check of parameterized opaque typesHans Bolinder
2016-12-21stdlib: Allow characters in types and constant patternsHans Bolinder
2016-11-23Update obsolete author e-mailsRichard Carlsson
2016-11-23Correct copyright info on hipe cerl filesRichard Carlsson
2016-11-23Merge branch 'maint'Hans Bolinder
2016-11-22dialyzer: Substitute 'opacity' for 'opaqueness'Hans Bolinder
2016-10-18Change the return type of hipe_bifs:add_ref/2Kostis Sagonas
2016-10-17kernel,hipe: Fix dialyzer warningsSverker Eriksson
2016-10-14Merge branch 'master' into sverker/hipe-code-loadnpurgeSverker Eriksson
2016-10-14erts: Fix early hipe patch loadingSverker Eriksson
2016-10-14erts: Move new hipe ref and sdesc lists to loader stateSverker Eriksson
2016-10-14Add a loader state for HiPE code loadingMagnus Lång
2016-10-13Merge branch 'maint'Hans Bolinder
2016-10-10erts: Remove unused hipe_bifs:code_sizeSverker Eriksson
2016-10-10erts: Improve hipe load/upgrade/purge machinerySverker Eriksson
2016-10-06dialyzer: Fix opaque bugHans Bolinder
2016-10-06dialyzer: Fix opaque bugsHans Bolinder
2016-09-12Merge branch 'maint'Hans Bolinder
2016-09-12Merge branch 'margnus1/dialyzer/fix_maps_opaque/ERL-249/PR-1161/OTP-13878' in...Hans Bolinder
2016-09-07erl_bif_types: Properly unopaque maps:merge/2 argsMagnus Lång
2016-09-07Merge branch 'maint'Björn-Egil Dahlberg
2016-09-05hipe: Fix erl_types opaque match orderBjörn-Egil Dahlberg
2016-09-05Implement the new ceil/1 and floor/1 guard BIFsBjörn Gustavsson
2016-08-31dialyzer: Optimize an opaque type caseHans Bolinder
2016-06-28erl_types: Normalise X:=none() pairs in t_map/3Magnus Lång
2016-06-15hipe: Pattern matching compilation of binaries and bistringsKostis Sagonas
2016-06-10Merge branch 'hasse/dialyzer/improve_from_form/OTP-13547'Hans Bolinder
2016-06-09Remove support for '...' in Maps typesHans Bolinder
2016-06-09dialyzer: Improve the translation of forms to typesHans Bolinder
2016-06-09dialyzer: Use a cache when translating forms to typesHans Bolinder
2016-06-09dialyzer: Prepare erl_types:t_from_form() for a cacheHans Bolinder
2016-06-09dialyzer: Optimize erl_types:t_form_form()Hans Bolinder
2016-06-09dialyzer: Correct typesHans Bolinder
2016-05-31Fix name of compiler option and the related warningsKostis Sagonas
2016-05-30Reintroduce erlang:halt/0/1 in erl_bif_types.erlSverker Eriksson
2016-05-25erts: Implement halt/0 and halt/1 in ErlangSverker Eriksson
2016-05-04Declare the erl_types:var_table() type as opaqueKostis Sagonas
2016-05-04hipe: Use maps for unification and substitutionHans Bolinder
2016-05-04dialyzer: Use maps instead of dictHans Bolinder
2016-04-29dialyzer: Fix a bug in the translation of forms to typesHans Bolinder
2016-04-28erl_types: Don't consider opaque keys singletonMagnus Lång
2016-04-28erl_types: Fix t_subtract/2 correctness bugMagnus Lång
2016-04-28erl_types: Fix crash merging maps with opaque keysMagnus Lång
2016-04-28erl_bif_types: Add a selection of maps BIFsMagnus Lång
2016-04-28erl_types: Add a map type representationMagnus Lång