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 години