Age | Commit message (Expand) | Author |
---|---|---|
2014-03-21 | dialyzer: generalize guard constraints in a new way | Hans Bolinder |
2014-02-22 | Introduce parameterized opaque types | Hans Bolinder |
2013-02-13 | Make the file:filename() type more restrictive | Björn Gustavsson |
2012-09-26 | Fix handling of tuple set remote types appearing in tuple sets | Stavros Aronis |
2012-04-24 | Correct handling of type names in contracts | Stavros Aronis |