Taddeus Kroes 2cc381f53a Updated/added a bunch of test cases to test new scoping rules 11 vuotta sitten
..
bool_op.cvc 7dd8ec8281 Added new testsuite 12 vuotta sitten
bool_op.out 580ae7e235 Added output files for testsuite 12 vuotta sitten
factorial.cvc 10d985b7ab Replaced tabs with spaces in test files 11 vuotta sitten
factorial.out 580ae7e235 Added output files for testsuite 12 vuotta sitten
for_to_while.cvc 7dd8ec8281 Added new testsuite 12 vuotta sitten
for_to_while.out 580ae7e235 Added output files for testsuite 12 vuotta sitten
forloop.cvc 10d985b7ab Replaced tabs with spaces in test files 11 vuotta sitten
forloop.out 580ae7e235 Added output files for testsuite 12 vuotta sitten
forloop_advanced.cvc 7dae809b98 Fixed bug that caused over-aggressive copy propagation 12 vuotta sitten
forloop_advanced.out 7dae809b98 Fixed bug that caused over-aggressive copy propagation 12 vuotta sitten
global_init.cvc 201057e27b Added a bunch of tests for parsing and more 12 vuotta sitten
global_init.out 201057e27b Added a bunch of tests for parsing and more 12 vuotta sitten
pi.cvc 7dd8ec8281 Added new testsuite 12 vuotta sitten
pi.out 580ae7e235 Added output files for testsuite 12 vuotta sitten
prime.cvc 7dd8ec8281 Added new testsuite 12 vuotta sitten
prime.out 580ae7e235 Added output files for testsuite 12 vuotta sitten
res.out 580ae7e235 Added output files for testsuite 12 vuotta sitten
typecheck.cvc 10d985b7ab Replaced tabs with spaces in test files 11 vuotta sitten
typecheck.out 580ae7e235 Added output files for testsuite 12 vuotta sitten
var_init.cvc 2cc381f53a Updated/added a bunch of test cases to test new scoping rules 11 vuotta sitten
var_init.out 2cc381f53a Updated/added a bunch of test cases to test new scoping rules 11 vuotta sitten