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

24 Incheckningar

1 Brancher

0 Släpp

Taddeus Kroes 96ecd75efb Implemented most of typechecking, some bugfixes in other phases		12 år sedan
bin32	ee11dce399 Started on implementing CiviC compiler	12 år sedan
doc	ee11dce399 Started on implementing CiviC compiler	12 år sedan
phases	96ecd75efb Implemented most of typechecking, some bugfixes in other phases	12 år sedan
test	d74b3bcded Mostly finished desugaring and context analysis, added some utils, general bugfixes, started on array dimension reduction	12 år sedan
.gitignore	2126ae7cee Removed preprocessor from parser, improved some error messages, moved some functions to common files	12 år sedan
Makefile	96ecd75efb Implemented most of typechecking, some bugfixes in other phases	12 år sedan
OCamlMakefile	ee11dce399 Started on implementing CiviC compiler	12 år sedan
README.md	478237b452 Added item to TODO list & comment cleanup	12 år sedan
ast.ml	96ecd75efb Implemented most of typechecking, some bugfixes in other phases	12 år sedan
lexer.mll	543db4149b Fixed position tracking when C preprocessor is enabled	12 år sedan
main.ml	96ecd75efb Implemented most of typechecking, some bugfixes in other phases	12 år sedan
parser.mly	d74b3bcded Mostly finished desugaring and context analysis, added some utils, general bugfixes, started on array dimension reduction	12 år sedan
stringify.ml	96ecd75efb Implemented most of typechecking, some bugfixes in other phases	12 år sedan
stringify.mli	96ecd75efb Implemented most of typechecking, some bugfixes in other phases	12 år sedan
util.ml	96ecd75efb Implemented most of typechecking, some bugfixes in other phases	12 år sedan
util.mli	96ecd75efb Implemented most of typechecking, some bugfixes in other phases	12 år sedan

CiviCaml

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

Issues & TODO

Check for illegal assigments of loop counter in for-loop body.