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