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 年 前