Taddeus Kroes 111c1d546c Documented extern variables phase, moved the phase to before dimension reduction, fixed dimension getters/setters for extern array variables 12 年 前
..
old 111c1d546c Documented extern variables phase, moved the phase to before dimension reduction, fixed dimension getters/setters for extern array variables 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 年 前