OCaml implementation of the CiviC compiler for Compiler Construction course at UvA

46 Commits

1 Branches

Taddeus Kroes ce994bbdcd Added trailing zero after rounded floating point number stringification		il y a 12 ans
bin32	ee11dce399 Started on implementing CiviC compiler	il y a 12 ans
doc	ee11dce399 Started on implementing CiviC compiler	il y a 12 ans
phases	9e6dbd6680 Implemented boolean operations	il y a 12 ans
test	88a4200db8 Added template for bool_op phase	il y a 12 ans
.gitignore	2126ae7cee Removed preprocessor from parser, improved some error messages, moved some functions to common files	il y a 12 ans
Makefile	180700fd3e Moved command-line arguments to global record	il y a 12 ans
OCamlMakefile	ee11dce399 Started on implementing CiviC compiler	il y a 12 ans
README.md	8ff21e8694 Turns out a TODO list issue was already fixed implicitly	il y a 12 ans
ast.ml	662cca4a28 Moved args to ast.ml to avoid circular dependency	il y a 12 ans
lexer.mll	543db4149b Fixed position tracking when C preprocessor is enabled	il y a 12 ans
main.ml	180700fd3e Moved command-line arguments to global record	il y a 12 ans
parser.mly	1cdc10625d Implemented array dimension reduction, generalized Array type, more bugfixes in other phases	il y a 12 ans
stringify.ml	ce994bbdcd Added trailing zero after rounded floating point number stringification	il y a 12 ans
stringify.mli	96ecd75efb Implemented most of typechecking, some bugfixes in other phases	il y a 12 ans
util.ml	662cca4a28 Moved args to ast.ml to avoid circular dependency	il y a 12 ans
util.mli	662cca4a28 Moved args to ast.ml to avoid circular dependency	il y a 12 ans

CiviCaml

CiviCaml is a compiler for the CiviC language, written in OCaml.

Issues & TODO

Keep file content in buffer to prevent error messages from crashing when reading from stdin.