| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Test cases for pred / check stuff | Tim Chevalier | 2011-05-05 | 1 | -0/+1 |
| | | |||||
| * | Check that the operand in a check is a call | Tim Chevalier | 2011-05-05 | 1 | -0/+9 |
| In addition, fix bug in fold that was turning asserts into checks. More typechecking still needs to be done. | |||||