| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2015-08-25 | dialyzer: Optimize the expansion of parameterized types somewhat | Hans Bolinder |
| 2015-08-25 | dialyzer: Improve the handling of recursive parameterized opaque types | Hans Bolinder |
| 2015-08-25 | dialyzer: Generalize an argument of erl_types:t_from_form() | Hans Bolinder |
| 2015-08-24 | Merge branch 'maint' | Hans Bolinder |
| 2015-08-21 | hipe/dialyzer: Fix a bug concerning opaque types and keydelete/3 | Hans Bolinder |
| 2015-08-19 | Merge branch 'maint' | Hans Bolinder |
| 2015-08-19 | dialyzer: Fix a bug concerning parameterized opaque types | Hans Bolinder |
| 2015-07-11 | Teach Dialyzer arity of funs with literal arity | Luca Favatella |
| 2015-07-10 | ose: Remove all code related to the OSE port | Lukas Larsson |
| 2015-06-18 | Change license text to APLv2 | Bruce Yinhe |
| 2015-06-15 | dialyzer: Fix a minor bug concerning opaque types | Hans Bolinder |
| 2015-06-15 | dialyzer: Modify warning for comparison of opaque types | Hans Bolinder |
| 2015-06-15 | dialyzer: Modify the handling of parametrized opaque types | Hans Bolinder |
