Age | Commit message (Expand) | Author |
---|---|---|
2015-03-10 | [dialyzer] Fix the conversion of forms to types | Hans Bolinder |
2014-03-21 | dialyzer: generalize guard constraints in a new way | Hans Bolinder |
2012-04-24 | Correct handling of type names in contracts | Stavros Aronis |