Taddeus Kroes 3b95a79c59 Cleaned up constant propagation, and added some arithmetic simplicications пре 12 година
..
old 3b95a79c59 Cleaned up constant propagation, and added some arithmetic simplicications пре 12 година
testsuite d57caab46f Error printer now handles tabs in input file correctly пре 12 година
array_init.cvc 47fd9def6c Added test suite from the Pycivicc project пре 12 година
array_init.out 220323c17a Added test output files пре 12 година
array_single_eval.cvc 60a3a48b60 Scalar array initialisation now supports non-constant values, which are evaluated only once пре 12 година
array_single_eval.out 60a3a48b60 Scalar array initialisation now supports non-constant values, which are evaluated only once пре 12 година
bool_op.cvc 305c63426c Bugfixes пре 12 година
bool_op.out 220323c17a Added test output files пре 12 година
civ.out 220323c17a Added test output files пре 12 година
for_to_while.cvc 47fd9def6c Added test suite from the Pycivicc project пре 12 година
for_to_while.out 220323c17a Added test output files пре 12 година
nested_funs.cvc 4c4075f088 Fixed use of irs[ngl ] instructions пре 12 година
nested_funs.out 220323c17a Added test output files пре 12 година
parsetab.py 47fd9def6c Added test suite from the Pycivicc project пре 12 година
pi.cvc 47fd9def6c Added test suite from the Pycivicc project пре 12 година
pi.out 220323c17a Added test output files пре 12 година
prime.cvc 47fd9def6c Added test suite from the Pycivicc project пре 12 година
prime.out 220323c17a Added test output files пре 12 година
res.out 220323c17a Added test output files пре 12 година
run.bash 9e5ee5acf8 Phase titles are now only printed when verbosity >= 2 пре 12 година
stdlib.h 47fd9def6c Added test suite from the Pycivicc project пре 12 година