summaryrefslogtreecommitdiff
path: root/testsuite/runtime
AgeCommit message (Expand)Author
2011-01-10added testsuite for the parserkrasimir
2011-01-08fix the computation of abstract expressions in the presence of implicit argum...krasimir
2011-01-08bugfix in the handling of implicit arguments in the typecheckerkrasimir
2010-12-13update the testsuite for the parser to the latest APIkrasimir
2010-10-27update the testsuite. Now we can typecheck more programs than beforekrasimir
2010-10-25when faced with hard unification problem the type checker should just postpon...krasimir
2010-10-25update the testsuite to the latest state of the compiler/interpreterkrasimir
2010-05-01test for bracketedLinearizekrasimir
2010-04-30upgrade the testsuite to work with GHC 6.12krasimir
2010-04-23fix parsing of literalskrasimir
2010-02-22refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access t...krasimir
2010-02-20bugfix in PGF.TypeCheckkrasimir
2010-02-07test case for lazy evaluation in the abstract syntaxkrasimir
2010-01-29bugfix in the PGF typechecker and more test caseskrasimir
2010-01-12additional tests for linearizationskrasimir
2010-01-04added test grammar for literals in the testsuitekrasimir
2009-12-11judgements lindef are now respected by both the parser and the linearizerkrasimir
2009-11-02update testsuite/runtime/parser/Parse.hskrasimir
2009-10-28update the testsuitekrasimir
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
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 06:18:34 +0000