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