Age | Commit message (Collapse) | Author | |
---|---|---|---|
2013-05-31 | Normalize SIZE constraints to simplify backends | Björn Gustavsson | |
2013-05-31 | Fix handling of open interval constraints with pre-defined integers | Björn Gustavsson | |
The compiler would crash when given code such as the following: Type ::= INTEGER (lower<..<upper) lower INTEGER ::= 0 lower INTEGER ::= 42 | |||
2012-12-18 | Add a test case for constraint equivalence | Björn Gustavsson | |
The constraint simplification pass need to be seriously rethought and rewritten. As a starting point, add a test case to test that equivalent ways to write a constraint are reduced to the same simplified constraint. Fix a few obvious bugs to make the test cases to pass. |