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