Taddeus Kroes 3b95a79c59 Cleaned up constant propagation, and added some arithmetic simplicications há 12 anos atrás
..
old 3b95a79c59 Cleaned up constant propagation, and added some arithmetic simplicications há 12 anos atrás
testsuite d57caab46f Error printer now handles tabs in input file correctly há 12 anos atrás
array_init.cvc 47fd9def6c Added test suite from the Pycivicc project há 12 anos atrás
array_init.out 220323c17a Added test output files há 12 anos atrás
array_single_eval.cvc 60a3a48b60 Scalar array initialisation now supports non-constant values, which are evaluated only once há 12 anos atrás
array_single_eval.out 60a3a48b60 Scalar array initialisation now supports non-constant values, which are evaluated only once há 12 anos atrás
bool_op.cvc 305c63426c Bugfixes há 12 anos atrás
bool_op.out 220323c17a Added test output files há 12 anos atrás
civ.out 220323c17a Added test output files há 12 anos atrás
for_to_while.cvc 47fd9def6c Added test suite from the Pycivicc project há 12 anos atrás
for_to_while.out 220323c17a Added test output files há 12 anos atrás
nested_funs.cvc 4c4075f088 Fixed use of irs[ngl ] instructions há 12 anos atrás
nested_funs.out 220323c17a Added test output files há 12 anos atrás
parsetab.py 47fd9def6c Added test suite from the Pycivicc project há 12 anos atrás
pi.cvc 47fd9def6c Added test suite from the Pycivicc project há 12 anos atrás
pi.out 220323c17a Added test output files há 12 anos atrás
prime.cvc 47fd9def6c Added test suite from the Pycivicc project há 12 anos atrás
prime.out 220323c17a Added test output files há 12 anos atrás
res.out 220323c17a Added test output files há 12 anos atrás
run.bash 9e5ee5acf8 Phase titles are now only printed when verbosity >= 2 há 12 anos atrás
stdlib.h 47fd9def6c Added test suite from the Pycivicc project há 12 anos atrás