8 Commits

Author	SHA1	Message	Date
krasimir	6c7330131d	more fixes in the testsuite	2009-09-16 12:49:04 +00:00
krasimir	4111438979	the testsuite\runtime\parser test now generates random trees to test the parser with	2009-09-13 15:17:15 +00:00
krasimir	b97d6abb81	hopefully complete and correct typechecker in PGF	2009-09-06 20:31:52 +00:00
krasimir	a73273895d	the parsing test now evaluates all languages	2009-08-19 22:35:57 +00:00
krasimir	5abc99b291	added testcases for evaluation with suspension	2009-07-07 11:40:14 +00:00
krasimir	eeb08bbd4d	added testcase for linearization with HOAS	2009-06-18 17:47:06 +00:00
krasimir	9142fcff76	split the testsuite to different directories for compiler, runtime and libraries	2009-06-13 13:54:06 +00:00
krasimir	3efb7a671b	added test cases for computation with abstract syntax terms	2009-05-23 21:43:24 +00:00