Age | Commit message (Expand) | Author |
---|---|---|
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 |