Age | Commit message (Expand) | Author |
2019-05-07 | dialyzer: Add test cases with indentation | Hans Bolinder |
2018-02-05 | dialyzer: Do not call erlang:get_stacktrace() | Hans Bolinder |
2017-08-05 | Add {continue, Term} and handle_continue/2 to gen_server | José Valim |
2017-06-09 | dialyzer: Improve handling of Unicode | Hans Bolinder |
2017-04-21 | stdlib: Make gen_server callbacks optional | Zandra Norman |
2017-02-01 | dialyzer: Increase time limit for tests | Hans Bolinder |
2016-08-31 | dialyzer: Increase time limit of suites | Hans Bolinder |
2016-04-29 | dialyzer: Fix a bug in the translation of forms to types | Hans Bolinder |
2016-04-28 | Enhance map specs in erts, stdlib, runtime_tools | Magnus Lång |
2016-04-28 | erl_types: Add a map type representation | Magnus Lång |
2016-02-01 | dialyzer: Remove t_parameterized_module/0 from erl_types | Stavros Aronis |
2015-10-08 | Take out automatic insertion of 'undefined' from typed record fields | Kostis Sagonas |
2014-11-06 | Update dialyzer test with maps in supervisor properties | Siri Hansen |
2013-04-19 | Remove the "coding: utf-8" comment from all Erlang source files | Hans Bolinder |
2013-04-17 | Encode Erlang source files with non-ascii characters in UTF-8 | Björn Gustavsson |
2012-03-01 | Fix bug in remote type solving | Stavros Aronis |
2012-02-22 | Support alternative spelling of behaviour | Stavros Aronis |
2011-12-01 | Refine warning about callback specs with extra ranges | Stavros Aronis |
2011-12-01 | Fix bug in Dialyzer's behaviours analysis | Stavros Aronis |
2011-11-30 | Fix dialyzer warning about gen_event callback init/1 in log_mf_h | Siri Hansen |
2011-11-18 | Wrap up behaviours patch for Dialyzer | Stavros Aronis |
2011-11-18 | Detection of callback-spec discrepancies | Stavros Aronis |
2011-11-18 | Allow none() as return value in callbacks | Stavros Aronis |
2011-11-18 | Behaviour callback discrepancy detection for Dialyzer | Stavros Aronis |