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