summaryrefslogtreecommitdiff
path: root/testsuite
AgeCommit message (Expand)Author
2010-02-07test case for lazy evaluation in the abstract syntaxkrasimir
2010-02-06test case for invalid parameter definitionkrasimir
2010-02-01test case for let expression in def rulekrasimir
2010-02-01added tests for literals in the abstract syntaxkrasimir
2010-01-31added test cases for polymorphic and record types in the abstract syntaxkrasimir
2010-01-31add test case for abstract types with let bindingskrasimir
2010-01-29bugfix in the PGF typechecker and more test caseskrasimir
2010-01-29update the testsuitekrasimir
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-13add test case for typechecking of lincatkrasimir
2009-11-02update testsuite/runtime/parser/Parse.hskrasimir
2009-10-28update the testsuitekrasimir
2009-10-28added test cases for cyrcular definitionskrasimir
2009-10-03update 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-16another fix in the testsuitekrasimir
2009-09-16fix some tests in the testsuitekrasimir
2009-09-14update the compiler testsuitekrasimir
2009-09-14added some tests in the testsuite for the compilerkrasimir
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-22added testcase for pattern matching on runtime variableskrasimir
2009-07-22updated the output in testsuite/compiler/check/linskrasimir
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
2009-05-22some work on evaluation with abstract expressions in PGFkrasimir
2009-05-22fix in testcase testsuite\paraphrasekrasimir
2009-05-22fix the funpatt testcasekrasimir
2009-05-20some more tests for evaluation in the abstract syntaxkrasimir
2009-05-20more friendly error message when renaming patternskrasimir
2009-05-20fix the generation of warnings in CheckGrammar. They are printed even in quie...krasimir
2009-05-20testcase for parameters with nested recordskrasimir
2009-05-20added testcase for categories with lincat C = {};krasimir
2009-05-20added testcases for abstract syntax computationkrasimir
2009-05-20the treebank test for the resource libraries is moved to the testsuitekrasimir
2009-05-20remove the obsolete testsuite/srg directorykrasimir
2009-05-20examples/test is moved to testsuitekrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 09:16:22 +0000