| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-10-02 | Implicit arguments in GF. Works only in PGF for now. | krasimir |
| 2009-09-20 | change the data types and the syntax in PGF to match the new syntax for impli... | krasimir |
| 2009-09-19 | better error message for the ai command | krasimir |
| 2009-09-19 | use the syntax <x : A> in PGF.Expr for typed expressions. This is consistent ... | krasimir |
| 2009-09-16 | more fixes in the testsuite | krasimir |
| 2009-09-13 | the testsuite\runtime\parser test now generates random trees to test the pars... | krasimir |
| 2009-09-06 | hopefully complete and correct typechecker in PGF | krasimir |
| 2009-08-19 | the parsing test now evaluates all languages | krasimir |
| 2009-07-07 | added testcases for evaluation with suspension | krasimir |
| 2009-06-18 | added testcase for linearization with HOAS | krasimir |
| 2009-06-13 | split the testsuite to different directories for compiler, runtime and libraries | krasimir |
| 2009-05-23 | added test cases for computation with abstract syntax terms | krasimir |
