| Age | Commit message (Expand) | Author |
|---|
| 2017-01-10 | Merge branch 'maint' | Hans Bolinder |
| 2016-12-21 | stdlib: Allow characters in types and constant patterns | Hans Bolinder |
| 2016-11-23 | Merge branch 'maint' | Hans Bolinder |
| 2016-11-22 | dialyzer: Improve a warning message | Hans Bolinder |
| 2016-09-26 | Use @ in variable names generated by core and kernel | José Valim |
| 2016-06-09 | Remove support for '...' in Maps types | Hans Bolinder |
| 2016-06-08 | Fix a bug in Dialyzer related to call-site analysis | Stavros Aronis |
| 2016-04-28 | dialyzer: Improve map pattern typesetting | Magnus Lång |
| 2016-04-28 | dialyzer: Unfold cerl patterns containing maps | Magnus Lång |
| 2016-04-28 | dialyzer_dataflow: Add map support | Magnus Lång |
| 2016-04-28 | dialyzer_typesig: Add map support | 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-02-10 | Merge branch 'maint' | Hans Bolinder |
| 2016-02-09 | dialyzer: Correct byte_size() and comparisons | Hans Bolinder |
| 2016-02-01 | dialyzer: Remove t_parameterized_module/0 from erl_types | Stavros Aronis |
| 2016-01-18 | Merge branch 'maint' | Björn-Egil Dahlberg |
| 2016-01-14 | dialyzer: Update Maps tests | Björn-Egil Dahlberg |
| 2015-12-28 | Merge branch 'maint' | Zandra |
| 2015-12-15 | dialyzer: Print constraints using the '::' syntax | Hans Bolinder |
| 2015-10-30 | hipe/dialyzer: Remove functions from erl_bif_types | Hans Bolinder |
| 2015-10-27 | Teach Dialyzer call to funs `M:F/A` (literal M, F, A) | Luca Favatella |
| 2015-10-27 | Merge branch 'maint' | Henrik Nord |
| 2015-10-27 | Merge branch 'lucafavatella/dialyzer-fun-literal-arity' into maint | Henrik Nord |
| 2015-10-08 | Take out automatic insertion of 'undefined' from typed record fields | Kostis Sagonas |
| 2015-09-04 | dialyzer: Fix erlang:abs/1 | Hans Bolinder |
| 2015-07-11 | Teach Dialyzer arity of funs with literal arity | Luca Favatella |
| 2015-04-30 | dialyzer: Strengthen maps tests | Björn-Egil Dahlberg |
| 2015-03-10 | [dialyzer] Fix the conversion of forms to types | Hans Bolinder |
| 2015-01-14 | dialyzer: Introduce module local suppression of warnings | Hans Bolinder |
| 2014-11-25 | Merge branch 'maint' | Hans Bolinder |
| 2014-11-24 | dialyzer: correct record updates | Hans Bolinder |
| 2014-06-30 | Merge branch 'maint' | Hans Bolinder |
| 2014-06-26 | hipe: Correct pretty-printing of bitstrings | Hans Bolinder |
| 2014-06-17 | Merge branch 'maint' | Hans Bolinder |
| 2014-06-17 | [dialyzer] Fix handling of literal records | Hans Bolinder |
| 2014-05-26 | Merge branch 'maint' | Björn-Egil Dahlberg |
| 2014-04-29 | dialyzer: Add Maps type mismatch test | Björn-Egil Dahlberg |
| 2014-04-28 | Introduce the attribute -optional_callbacks in the context of behaviours | Hans Bolinder |
| 2014-03-28 | Dialyzer now plays nicely with funs that come as "external" arguments | Stavros Aronis |
| 2014-03-26 | Merge branch 'aronisstav/hipe/opaque_fix' | Hans Bolinder |
| 2014-03-24 | Don't 'opaque-decorate' a success typing using an incompatible spec | Stavros Aronis |
| 2014-03-21 | dialyzer: generalize guard constraints in a new way | Hans Bolinder |
| 2014-02-23 | Deprecate pre-defined built-in types | Hans Bolinder |
| 2014-02-22 | Introduce parameterized opaque types | Hans Bolinder |
| 2013-12-12 | Test named funs | Anthony Ramine |
| 2013-10-09 | Add some more comments about what the test does | Kostis Sagonas |
| 2013-03-06 | Include module, function and arity in Dialyzer's "overlapping domain" warnings | Magnus Henoch |
| 2013-02-21 | Introduce new type file:name_all() | Hans Bolinder |
| 2013-02-15 | Support for types with the same name and different arity | Stavros Aronis |
