| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2012-01-13 | Remove tests for objs, adjust tests that use objs | Marijn Haverbeke | -13/+0 | |
| 2011-08-20 | Reformat | Brian Anderson | -1/+1 | |
| This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[] | ||||
| 2011-07-27 | Fix damage done by the pretty-printer | Marijn Haverbeke | -1/+2 | |
| 2011-07-27 | Reformat for new syntax | Marijn Haverbeke | -7/+5 | |
| 2011-05-20 | Un-XFAIL some tests that now pass. | Tim Chevalier | -1/+0 | |
| 2011-05-14 | Remove xfail-boot lines from tests | Brian Anderson | -1/+0 | |
| 2011-05-05 | Test cases for pred / check stuff | Tim Chevalier | -0/+1 | |
| 2011-05-05 | Check well-formedness of constraints | Tim Chevalier | -0/+15 | |
| 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. | ||||
