Taddeus Kroes 12da98abeb Implemented array dims expansion correctly (probably), more bugfixes 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 年之前
civic.h f0e55d0030 Implemented C preprocessor integration 12 年之前
context.cvc 4f112ab59c Did a lot of stuff: 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 年之前