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