18 Commits

Author	SHA1	Message	Date
krasimir	219f19d265	added testcase for pattern matching on runtime variables	2009-07-22 09:53:39 +00:00
krasimir	af41bcd46e	updated the output in testsuite/compiler/check/lins	2009-07-22 09:51:57 +00:00
krasimir	02b22b8b78	added testcases for evaluation with suspension	2009-07-07 11:40:14 +00:00
krasimir	cfdd39574c	added testcase for linearization with HOAS	2009-06-18 17:47:06 +00:00
krasimir	8ae43ac855	split the testsuite to different directories for compiler, runtime and libraries	2009-06-13 13:54:06 +00:00
krasimir	d6092e0ab2	added test cases for computation with abstract syntax terms	2009-05-23 21:43:24 +00:00
krasimir	f9c877eec6	some work on evaluation with abstract expressions in PGF	2009-05-22 18:54:51 +00:00
krasimir	f29bdd762e	fix in testcase testsuite\paraphrase	2009-05-22 22:14:57 +00:00
krasimir	d2f2922102	fix the funpatt testcase	2009-05-22 21:42:21 +00:00
krasimir	f9574dcf77	some more tests for evaluation in the abstract syntax	2009-05-20 20:27:19 +00:00
krasimir	38d5846b44	more friendly error message when renaming patterns	2009-05-20 20:24:15 +00:00
krasimir	baf56d651c	fix the generation of warnings in CheckGrammar. They are printed even in quiet mode and the prefix "Warning" is added automatically	2009-05-20 17:05:58 +00:00
krasimir	4e2e2b2535	testcase for parameters with nested records	2009-05-20 16:38:19 +00:00
krasimir	c6dcec2e9c	added testcase for categories with lincat C = {};	2009-05-20 16:27:12 +00:00
krasimir	4a2b219921	added testcases for abstract syntax computation	2009-05-20 15:01:52 +00:00
krasimir	9a3576c1d2	the treebank test for the resource libraries is moved to the testsuite	2009-05-20 14:59:46 +00:00
krasimir	a911f41020	remove the obsolete testsuite/srg directory	2009-05-20 12:39:32 +00:00
krasimir	0cb89b2a77	examples/test is moved to testsuite	2009-05-20 11:25:00 +00:00