| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Revert "Revert "fix tforwardgeneric"" | Zahary Karadjov | 2013-08-19 | 1 | -2/+3 |
| | | | | | This reverts commit e3f93241c3824e49b69c647bbd44726a79e8f8f8. | ||||
| * | Revert "fix tforwardgeneric" | Araq | 2013-05-27 | 1 | -3/+2 |
| | | | | | This reverts commit d82a032566de1612ff1ed2d82cc7ec2bd58267d7. | ||||
| * | fix tforwardgeneric | Zahary Karadjov | 2013-05-26 | 1 | -2/+3 |
| | | |||||
| * | small bugfix for lambdalifting; preparations for a better testing framework | Araq | 2013-01-19 | 1 | -0/+1 |
| | | |||||
| * | got rid of 'accept' dir in the tests | Araq | 2011-11-19 | 1 | -0/+11 |