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