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 년 전