| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Test cases for pred / check stuff | Tim Chevalier | 2011-05-05 | 1 | -0/+1 |
| | | |||||
| * | Check well-formedness of constraints | Tim Chevalier | 2011-05-05 | 1 | -0/+11 |
| Check that the operand in a constraint is an explicit name, and that the operands are all local variables or literals. Still need to check that the name refers to a pure function. | |||||