otp.git - Mirror of Erlang/OTP repository.

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.