Age | Commit message (Expand) | Author |
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 |
2016-04-28 | dialyzer_contracts: Consider #{} a violation | Magnus Lång |
2016-04-28 | dialyzer_typesig: Fix simplification bug | Magnus Lång |
2016-04-28 | dialyzer_dataflow: Fix try in guards | 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-07 | Correct mispelling in Dialyzer's acronym definition | eksperimental |
2016-03-15 | update copyright-year | Henrik Nord |
2016-02-08 | Merge branch 'maint' | Hans Bolinder |
2016-02-08 | dialyzer: Fix a bug concerning the option 'plt_remove' | Hans Bolinder |
2016-02-02 | Merge branch 'maint' | Zandra |
2016-01-27 | Clarify usage of coordinator by analysis_callgraph | Luca Favatella |
2016-01-27 | Reflect more init-loop OTP pattern in dialyzer_worker | Luca Favatella |
2016-01-27 | Delete dead sequential code in dialyzer_worker | Luca Favatella |
2016-01-26 | Clarify computation of exported types in Dialyzer | Luca Favatella |
2016-01-26 | Split race_data_server out of dialyzer_callgraph | Luca Favatella |
2016-01-26 | Refactor dialyzer_analysis_callgraph | Luca Favatella |
2016-01-26 | Refactor usage of opaques() type | Luca Favatella |
2016-01-26 | Clarify that dialyzer_callgraph:callgraph() type is opaque | Luca Favatella |
2016-01-20 | dialyzer: Improve a type | Hans Bolinder |
2016-01-11 | Fix inadvertent deletion of callback info | Stavros Aronis |
2016-01-11 | Eliminate ugly case statements | Stavros Aronis |
2016-01-11 | Remove dead code related to missing behaviour info | Stavros Aronis |
2015-12-28 | Merge branch 'maint' | Zandra |
2015-12-15 | dialyzer: Print constraints using the '::' syntax | Hans Bolinder |
2015-10-27 | Teach Dialyzer call to funs `M:F/A` (literal M, F, A) | Luca Favatella |
2015-10-09 | Fix errors in dialyzer_{coordinator,worker} specs | Stavros Aronis |
2015-10-09 | Update Dialyzer | Hans Bolinder |
2015-08-31 | Merge branch 'sverk/hipe-fix-literal-crc' into maint | Sverker Eriksson |
2015-08-31 | erts,hipe,dialyzer: Fix hipe checkum of target runtime system | Sverker Eriksson |
2015-08-25 | dialyzer: Correct the timing of the phase called 'remote' | Hans Bolinder |