Age | Commit message (Expand) | Author |
---|---|---|
2018-02-05 | dialyzer: Do not call erlang:get_stacktrace() | Hans Bolinder |
2016-04-29 | dialyzer: Fix a bug in the translation of forms to types | Hans Bolinder |
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 | Fix bug in Dialyzer's behaviours analysis | 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 |