Age | Commit message (Expand) | Author |
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 |
2016-03-15 | update copyright-year | Henrik Nord |
2016-02-10 | Merge branch 'maint' | Hans Bolinder |
2016-02-09 | dialyzer: Correct byte_size() and comparisons | Hans Bolinder |
2016-02-02 | Merge branch 'maint' | Zandra |
2016-02-02 | Merge branch 'margnus1/bs_unit_fix' into maint | Zandra |
2016-02-01 | dialyzer: Remove t_parameterized_module/0 from erl_types | Stavros Aronis |
2016-01-26 | Refactor usage of opaques() type | Luca Favatella |
2016-01-20 | hipe: Improve types | Hans Bolinder |
2016-01-18 | Merge branch 'maint' | Björn-Egil Dahlberg |
2016-01-18 | Merge branch 'egil/improve-map-cerl-prettypr/OTP-13238' into maint | Björn-Egil Dahlberg |
2016-01-15 | Merge branch 'maint' | Hans Bolinder |
2016-01-15 | dialyzer: Correct handling of parameters of opaque types | Hans Bolinder |
2016-01-14 | compiler, hipe: Fix pretty printing of Core Maps | Björn-Egil Dahlberg |
2016-01-14 | hipe: Fix map pretty printing of pairs | Björn-Egil Dahlberg |
2015-11-27 | hipe: test unit size match in bs_put_binary_all | Magnus Lång |
2015-11-16 | Merge branch 'lucafavatella/dialyzer-remote-type' | Henrik Nord |
2015-10-30 | hipe/dialyzer: Remove functions from erl_bif_types | Hans Bolinder |
2015-10-27 | Merge branch 'maint' | Henrik Nord |
2015-10-27 | Merge branch 'lucafavatella/dialyzer-fun-literal-arity' into maint | Henrik Nord |
2015-10-18 | Delete remote types-related dead code in erl_types | Luca Favatella |
2015-10-09 | Update and cleanup HiPE records | Kostis Sagonas |
2015-10-08 | Take out automatic insertion of 'undefined' from typed record fields | Kostis Sagonas |
2015-09-09 | Merge branch 'maint' | Hans Bolinder |
2015-09-09 | dialyzer: Correct the handling of parameters of opaque types | Hans Bolinder |
2015-09-07 | Merge branch 'maint' | Hans Bolinder |
2015-09-04 | dialyzer: Fix erlang:abs/1 | Hans Bolinder |
2015-08-25 | Merge branch 'maint' | Hans Bolinder |
2015-08-25 | dialyzer: Optimize expansion of parameters of opaque types | Hans Bolinder |