krasimir cfdd39574c added testcase for linearization with HOAS

2009-06-18 17:47:06 +00:00

..

eval

added test cases for computation with abstract syntax terms

2009-05-23 21:43:24 +00:00

linearize

added testcase for linearization with HOAS

2009-06-18 17:47:06 +00:00

paraphrase

split the testsuite to different directories for compiler, runtime and libraries

2009-06-13 13:54:06 +00:00

parser

split the testsuite to different directories for compiler, runtime and libraries

2009-06-13 13:54:06 +00:00