Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | dialyzer: Fix a bug in the translation of forms to types | Hans Bolinder | 2016-04-29 | 6 | -0/+4530 |
* | Update dialyzer test with maps in supervisor properties | Siri Hansen | 2014-11-06 | 1 | -1/+1 |
* | Remove the "coding: utf-8" comment from all Erlang source files | Hans Bolinder | 2013-04-19 | 1 | -1/+0 |
* | Encode Erlang source files with non-ascii characters in UTF-8 | Björn Gustavsson | 2013-04-17 | 1 | -0/+2 |
* | Fix bug in remote type solving | Stavros Aronis | 2012-03-01 | 1 | -0/+37 |
* | Support alternative spelling of behaviour | Stavros Aronis | 2012-02-22 | 1 | -1/+2 |
* | Fix bug in Dialyzer's behaviours analysis | Stavros Aronis | 2011-12-01 | 1 | -0/+10 |
* | Detection of callback-spec discrepancies | Stavros Aronis | 2011-11-18 | 3 | -0/+131 |
* | Allow none() as return value in callbacks | Stavros Aronis | 2011-11-18 | 1 | -1/+1 |
* | Behaviour callback discrepancy detection for Dialyzer | Stavros Aronis | 2011-11-18 | 15 | -0/+274 |