Taddeus Kroes 88a4200db8 Added template for bool_op phase před 12 roky
..
array_init.cvc 0c538f2ee3 Started implementing node locations + some work on desugaring před 12 roky
array_scope.cvc d74b3bcded Mostly finished desugaring and context analysis, added some utils, general bugfixes, started on array dimension reduction před 12 roky
bool_op.cvc 88a4200db8 Added template for bool_op phase před 12 roky
civic.h f0e55d0030 Implemented C preprocessor integration před 12 roky
context.cvc 4f112ab59c Did a lot of stuff: před 12 roky
dim_reduce.cvc 1cdc10625d Implemented array dimension reduction, generalized Array type, more bugfixes in other phases před 12 roky
for_to_while.cvc c8e344835d Added test file for for-loops před 12 roky
scope.cvc 12da98abeb Implemented array dims expansion correctly (probably), more bugfixes před 12 roky
test.cvc 0e0dd26f30 Generalized error printing and applied it in context analysis před 12 roky
var_init.cvc 0c538f2ee3 Started implementing node locations + some work on desugaring před 12 roky