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