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

119 커밋

1 브랜치

0 릴리즈

Taddeus Kroes 3458dfbadd Phase filenames now match identifiers in phases list		12 년 전
bin32	ee11dce399 Started on implementing CiviC compiler	12 년 전
doc	3d3c4d5421 Added empty assmebly phase	12 년 전
phases	3458dfbadd Phase filenames now match identifiers in phases list	12 년 전
test	3b95a79c59 Cleaned up constant propagation, and added some arithmetic simplicications	12 년 전
.gitignore	2126ae7cee Removed preprocessor from parser, improved some error messages, moved some functions to common files	12 년 전
Makefile	3458dfbadd Phase filenames now match identifiers in phases list	12 년 전
OCamlMakefile	ee11dce399 Started on implementing CiviC compiler	12 년 전
README.md	f496ce57f6 Made some better error messages for array assignments	12 년 전
lexer.mll	cd39b017b6 Cleanup	12 년 전
main.ml	3458dfbadd Phase filenames now match identifiers in phases list	12 년 전
parser.mly	fcb75e6424 Parser cleanup	12 년 전
run	df77f208ef Run script now does not continue when compiling fails	12 년 전
stringify.ml	2866a1f1ef Re-enabled VarDecs and LocalFuns annotation for high verbosity level	12 년 전
stringify.mli	21fc065c8f Changed constant node types, added VarDecs\|LocalFuns wrappers, implemented first steps of assembler	12 년 전
types.ml	f979c1faf4 Changed the way array types are represented, and cleaned up a lot of code in the process	12 년 전
util.ml	d57caab46f Error printer now handles tabs in input file correctly	12 년 전
util.mli	7462e88b3d Added warning and constant propagation check for division by zero	12 년 전

CiviCaml

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

Issues & TODO

Documentation for each phase, in ocamldoc format.
Typechecking now gives an error when integers are not in the 32-bit range, as the reference compiler implements it. However, 64-bit should imo also be supported (using Nativeint instead of Int32).