6 Commits

Include renames

Author	SHA1	Message	Date
krasimir	54dbfeef48	hopefully complete and correct typechecker in PGF	2009-09-06 20:31:52 +00:00
krasimir	284f382d7a	the parsing test now evaluates all languages	2009-08-19 22:35: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