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

24 کامیت‌ها

1 شاخه‌ها

0 انتشارها

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

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.