| .. |
|
array_init.cvc
|
0c538f2ee3
Started implementing node locations + some work on desugaring
|
12 years ago |
|
array_scope.cvc
|
d74b3bcded
Mostly finished desugaring and context analysis, added some utils, general bugfixes, started on array dimension reduction
|
12 years ago |
|
civic.h
|
f0e55d0030
Implemented C preprocessor integration
|
12 years ago |
|
context.cvc
|
4f112ab59c
Did a lot of stuff:
|
12 years ago |
|
for_to_while.cvc
|
c8e344835d
Added test file for for-loops
|
12 years ago |
|
scope.cvc
|
12da98abeb
Implemented array dims expansion correctly (probably), more bugfixes
|
12 years ago |
|
test.cvc
|
0e0dd26f30
Generalized error printing and applied it in context analysis
|
12 years ago |
|
var_init.cvc
|
0c538f2ee3
Started implementing node locations + some work on desugaring
|
12 years ago |
Taddeus Kroes
12da98abeb
Implemented array dims expansion correctly (probably), more bugfixes