| Age | Commit message (Expand) | Author |
|---|
| 2017-04-26 | dialyzer: Fix a bug regarding unknown types | Hans Bolinder |
| 2017-03-10 | Update copyright year | Rickard Green |
| 2017-03-06 | Merge branch 'hasse/dialyzer/fix_warnings/OTP-14177' into maint | Hans Bolinder |
| 2017-03-02 | dialyzer, observer: Use portable lookup of home directory | Björn Gustavsson |
| 2017-03-02 | dialyzer: Update runtime dependencies | Hans Bolinder |
| 2017-02-28 | dialyzer: Fix an opaque bug | Hans Bolinder |
| 2017-02-28 | dialyzer: Minor fix | Hans Bolinder |
| 2017-02-03 | dialyzer: Fix a Dialyzer warning | Hans Bolinder |
| 2017-02-01 | dialyzer: Optimize typesig | Hans Bolinder |
| 2017-02-01 | dialyzer: Optimize evaluation of complex code | Hans Bolinder |
| 2017-01-11 | dialyzer: Compact 'file' annotations in Core code | Hans Bolinder |
| 2017-01-11 | dialyzer: Try to reduce memory usage | Hans Bolinder |
| 2017-01-11 | dialyzer: Use less memory when translating contracts | Hans Bolinder |
| 2017-01-11 | dialyzer: Use maps instaed of dict | Hans Bolinder |
| 2017-01-11 | dialyzer: Use maps instead of dict for module contracts map | Hans Bolinder |
| 2017-01-11 | dialyzer: Compress a few more ETS tables | Hans Bolinder |
| 2017-01-11 | dialyzer: Optimize memory consumption | Hans Bolinder |
| 2017-01-11 | dialyzer: Reduce memory consumption during 'remote' phase | Hans Bolinder |
| 2017-01-11 | dialyzer: Update code for finding parallelism | Hans Bolinder |
| 2017-01-11 | dialyzer: Reduce ETS usage during the typesig phase | Hans Bolinder |
| 2017-01-11 | dialyzer: Optimize graph condensation | Hans Bolinder |
| 2017-01-11 | dialyzer: Do not send full PLTs as messages | Hans Bolinder |
| 2016-12-07 | Update copyright-year | Erlang/OTP |
| 2016-11-22 | dialyzer: Substitute 'opacity' for 'opaqueness' | Hans Bolinder |
| 2016-11-22 | dialyzer: Improve a warning message | Hans Bolinder |
| 2016-11-22 | dialyzer: Improve a warning message | Hans Bolinder |
| 2016-11-22 | dialyzer: Correct a warnings message | Hans Bolinder |
| 2016-10-21 | dialyzer: Fix error handling of bad -dialyzer() attributes | Hans Bolinder |
| 2016-08-31 | dialyzer: Remove a check that always fails | Hans Bolinder |
| 2016-07-26 | Improve format_warning/1 spec | Brujo Benavides |
| 2016-07-04 | dialyzer: Suppress warns on generated case stmts | Magnus Lång |
| 2016-06-09 | dialyzer: Minor adjustments | Hans Bolinder |
| 2016-06-09 | dialyzer: Suppress unmatched_return for send/2 | Hans Bolinder |
| 2016-06-09 | dialyzer: Use a cache when translating forms to types | Hans Bolinder |
| 2016-06-09 | dialyzer: Correct types | Hans Bolinder |
| 2016-06-09 | Merge branch 'stavros/dialyzer/fix_call_site_analysis/OTP-13655/PR-1092' | Hans Bolinder |
| 2016-06-08 | Fix a bug in Dialyzer related to call-site analysis | Stavros Aronis |
| 2016-06-08 | Dialyzer: Fix a bug that caused Dialyzer to go into an infinite loop. | Hans Bolinder |
| 2016-05-16 | Merge branch 'kostis/dialyzer/opaque_type/OTP-13586/PR-1047' | Hans Bolinder |
| 2016-05-13 | Use the newly defined types in a record declaration | Kostis Sagonas |
| 2016-05-13 | Strengthen the spec of analyze/1 | Kostis Sagonas |
| 2016-05-13 | Fix dependency calculation when encountering an erroneous 'apply' | Kostis Sagonas |
| 2016-05-04 | Declare the erl_types:var_table() type as opaque | Kostis Sagonas |
| 2016-05-04 | dialyzer: Update runtime dependencies | Hans Bolinder |
| 2016-05-04 | dialyzer: Use maps instead of dict | Hans Bolinder |
| 2016-05-04 | dialyzer: Optimize the evaluation of SCC:s in module typesig | Hans Bolinder |
| 2016-05-04 | Merge branch 'experimental/correct_dialyzer_spelling/PR-1007/OTP-13544' | Hans Bolinder |
| 2016-04-28 | dialyzer_typesig: Fix bad external type | Magnus Lång |
| 2016-04-28 | dialyzer: Fix another pattern literal bug | Magnus Lång |
| 2016-04-28 | dialyzer: Improve map pattern typesetting | Magnus Lång |
