| Age | Commit message (Expand) | Author |
|---|
| 2019-06-04 | dialyzer: Correct indentation of field warnings | Hans Bolinder |
| 2019-05-07 | Merge branch 'hasse/dialyzer/prettier_warnings/OTP-15135' | Hans Bolinder |
| 2019-05-07 | dialyzer: Remove quotes around operators | Hans Bolinder |
| 2019-05-03 | stdlib: Do not allow specs for functions in other modules | Hans Bolinder |
| 2019-04-29 | dialyzer: Add parentheses around annotated union elements | Hans Bolinder |
| 2019-04-29 | dialyzer: Fix dialyzer_dataflow:format_args_1() | Hans Bolinder |
| 2019-04-24 | dialyzer: Improve the warning tagged 'fun_app_args' | Hans Bolinder |
| 2019-04-08 | dialyzer: Fix pretty printing of binaries | Hans Bolinder |
| 2019-02-19 | Merge branch 'maint' | Hans Bolinder |
| 2019-02-06 | dialyzer: Fix a bug regarding contracts | Hans Bolinder |
| 2018-08-31 | Merge pull request #1944 from uabboli/hasse/dialyzer/improve_guards/OTP-15268... | Hans Bolinder |
| 2018-08-28 | dialyzer: Improve handling of complex guards | Hans Bolinder |
| 2018-07-23 | Refine types of functions in maps module | Michał Muskała |
| 2018-05-13 | dialyzer: Do not emit warnings for unreachable funs | Hans Bolinder |
| 2018-03-24 | Avoid overflowing the atom table | Björn Gustavsson |
| 2018-02-20 | Dialyzer should not throw away spec information because of overspec | Richard Carlsson |
| 2018-02-15 | Merge branch 'maint' | Hans Bolinder |
| 2018-02-14 | dialyzer: Fix a crash | Hans Bolinder |
| 2018-02-06 | dialyzer: Assign a type to the primop build_stacktrace | Hans Bolinder |
| 2017-10-13 | erts: Implement maps path iterator | Lukas Larsson |
| 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 |
