Age | Commit message (Expand) | Author |
2017-01-12 | Merge branch 'maint' | Hans Bolinder |
2017-01-11 | dialyzer: Use maps instaed of dict | Hans Bolinder |
2017-01-11 | Merge branch 'maint' | Hans Bolinder |
2017-01-11 | Merge branch 'hasse/dialyzer/fix_opaque_parms/OTP-14130' into maint | Hans Bolinder |
2017-01-10 | Merge branch 'maint' | Hans Bolinder |
2017-01-10 | dialyzer: Fix check of parameterized opaque types | Hans Bolinder |
2016-12-21 | stdlib: Allow characters in types and constant patterns | Hans Bolinder |
2016-11-23 | Update obsolete author e-mails | Richard Carlsson |
2016-11-23 | Correct copyright info on hipe cerl files | Richard Carlsson |
2016-11-23 | Merge branch 'maint' | Hans Bolinder |
2016-11-22 | dialyzer: Substitute 'opacity' for 'opaqueness' | Hans Bolinder |
2016-10-18 | Change the return type of hipe_bifs:add_ref/2 | Kostis Sagonas |
2016-10-17 | kernel,hipe: Fix dialyzer warnings | Sverker Eriksson |
2016-10-14 | Merge branch 'master' into sverker/hipe-code-loadnpurge | Sverker Eriksson |
2016-10-14 | erts: Fix early hipe patch loading | Sverker Eriksson |
2016-10-14 | erts: Move new hipe ref and sdesc lists to loader state | Sverker Eriksson |
2016-10-14 | Add a loader state for HiPE code loading | Magnus Lång |
2016-10-13 | Merge branch 'maint' | Hans Bolinder |
2016-10-10 | erts: Remove unused hipe_bifs:code_size | Sverker Eriksson |
2016-10-10 | erts: Improve hipe load/upgrade/purge machinery | Sverker Eriksson |
2016-10-06 | dialyzer: Fix opaque bug | Hans Bolinder |
2016-10-06 | dialyzer: Fix opaque bugs | Hans Bolinder |
2016-09-12 | Merge branch 'maint' | Hans Bolinder |
2016-09-12 | Merge branch 'margnus1/dialyzer/fix_maps_opaque/ERL-249/PR-1161/OTP-13878' in... | Hans Bolinder |
2016-09-07 | erl_bif_types: Properly unopaque maps:merge/2 args | Magnus Lång |
2016-09-07 | Merge branch 'maint' | Björn-Egil Dahlberg |
2016-09-05 | hipe: Fix erl_types opaque match order | Björn-Egil Dahlberg |
2016-09-05 | Implement the new ceil/1 and floor/1 guard BIFs | Björn Gustavsson |
2016-08-31 | dialyzer: Optimize an opaque type case | Hans Bolinder |
2016-06-28 | erl_types: Normalise X:=none() pairs in t_map/3 | Magnus Lång |
2016-06-15 | hipe: Pattern matching compilation of binaries and bistrings | Kostis Sagonas |
2016-06-10 | Merge branch 'hasse/dialyzer/improve_from_form/OTP-13547' | Hans Bolinder |
2016-06-09 | Remove support for '...' in Maps types | Hans Bolinder |
2016-06-09 | dialyzer: Improve the translation of forms to types | Hans Bolinder |
2016-06-09 | dialyzer: Use a cache when translating forms to types | Hans Bolinder |
2016-06-09 | dialyzer: Prepare erl_types:t_from_form() for a cache | Hans Bolinder |
2016-06-09 | dialyzer: Optimize erl_types:t_form_form() | Hans Bolinder |
2016-06-09 | dialyzer: Correct types | Hans Bolinder |
2016-05-31 | Fix name of compiler option and the related warnings | Kostis Sagonas |
2016-05-30 | Reintroduce erlang:halt/0/1 in erl_bif_types.erl | Sverker Eriksson |
2016-05-25 | erts: Implement halt/0 and halt/1 in Erlang | Sverker Eriksson |
2016-05-04 | Declare the erl_types:var_table() type as opaque | Kostis Sagonas |
2016-05-04 | hipe: Use maps for unification and substitution | Hans Bolinder |
2016-05-04 | dialyzer: Use maps instead of dict | Hans Bolinder |
2016-04-29 | dialyzer: Fix a bug in the translation of forms to types | Hans Bolinder |
2016-04-28 | erl_types: Don't consider opaque keys singleton | Magnus Lång |
2016-04-28 | erl_types: Fix t_subtract/2 correctness bug | Magnus Lång |
2016-04-28 | erl_types: Fix crash merging maps with opaque keys | Magnus Lång |
2016-04-28 | erl_bif_types: Add a selection of maps BIFs | Magnus Lång |
2016-04-28 | erl_types: Add a map type representation | Magnus Lång |