| Age | Commit message (Collapse) | 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 ↵ | krasimir | |
| implict arguments | |||
| 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 | |
| with the GF language | |||
| 2009-09-16 | more fixes in the testsuite | krasimir | |
| 2009-09-13 | the testsuite\runtime\parser test now generates random trees to test the ↵ | krasimir | |
| parser with | |||
| 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 | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |