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 години