|
bin32
|
ee11dce399
Started on implementing CiviC compiler
|
12 years ago |
|
doc
|
ee11dce399
Started on implementing CiviC compiler
|
12 years ago |
|
phases
|
2084f76312
Added transformation of while-loops to do-while loops
|
12 years ago |
|
test
|
2084f76312
Added transformation of while-loops to do-while loops
|
12 years ago |
|
.gitignore
|
2126ae7cee
Removed preprocessor from parser, improved some error messages, moved some functions to common files
|
12 years ago |
|
Makefile
|
669f2c21f3
Added a rudimentary form of constant propagation for reducing for-loop complexity, improved flatten_blocks
|
12 years ago |
|
OCamlMakefile
|
ee11dce399
Started on implementing CiviC compiler
|
12 years ago |
|
README.md
|
8ff21e8694
Turns out a TODO list issue was already fixed implicitly
|
12 years ago |
|
ast.ml
|
662cca4a28
Moved args to ast.ml to avoid circular dependency
|
12 years ago |
|
lexer.mll
|
543db4149b
Fixed position tracking when C preprocessor is enabled
|
12 years ago |
|
main.ml
|
669f2c21f3
Added a rudimentary form of constant propagation for reducing for-loop complexity, improved flatten_blocks
|
12 years ago |
|
parser.mly
|
bd304ed3a4
Implemented external variables using getters and setters, some general changes & fixes in other phases for compliance
|
12 years ago |
|
stringify.ml
|
bd304ed3a4
Implemented external variables using getters and setters, some general changes & fixes in other phases for compliance
|
12 years ago |
|
stringify.mli
|
96ecd75efb
Implemented most of typechecking, some bugfixes in other phases
|
12 years ago |
|
util.ml
|
669f2c21f3
Added a rudimentary form of constant propagation for reducing for-loop complexity, improved flatten_blocks
|
12 years ago |
|
util.mli
|
669f2c21f3
Added a rudimentary form of constant propagation for reducing for-loop complexity, improved flatten_blocks
|
12 years ago |
Taddeus Kroes
2084f76312
Added transformation of while-loops to do-while loops