Taddeus Kroes e605087b5b Fixed bug in dimreduce where value of VarLet would not always be traversed před 12 roky
..
old 111c1d546c Documented extern variables phase, moved the phase to before dimension reduction, fixed dimension getters/setters for extern array variables před 12 roky
testsuite e605087b5b Fixed bug in dimreduce where value of VarLet would not always be traversed před 12 roky
array_init.cvc 47fd9def6c Added test suite from the Pycivicc project před 12 roky
array_init.out 220323c17a Added test output files před 12 roky
array_single_eval.cvc 60a3a48b60 Scalar array initialisation now supports non-constant values, which are evaluated only once před 12 roky
array_single_eval.out 60a3a48b60 Scalar array initialisation now supports non-constant values, which are evaluated only once před 12 roky
bool_op.cvc 305c63426c Bugfixes před 12 roky
bool_op.out 220323c17a Added test output files před 12 roky
civ.out 220323c17a Added test output files před 12 roky
for_to_while.cvc 47fd9def6c Added test suite from the Pycivicc project před 12 roky
for_to_while.out 220323c17a Added test output files před 12 roky
nested_funs.cvc 4c4075f088 Fixed use of irs[ngl ] instructions před 12 roky
nested_funs.out 220323c17a Added test output files před 12 roky
parsetab.py 47fd9def6c Added test suite from the Pycivicc project před 12 roky
pi.cvc 47fd9def6c Added test suite from the Pycivicc project před 12 roky
pi.out 220323c17a Added test output files před 12 roky
prime.cvc 47fd9def6c Added test suite from the Pycivicc project před 12 roky
prime.out 220323c17a Added test output files před 12 roky
res.out 220323c17a Added test output files před 12 roky
run.bash 9e5ee5acf8 Phase titles are now only printed when verbosity >= 2 před 12 roky
stdlib.h 47fd9def6c Added test suite from the Pycivicc project před 12 roky