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

124 提交历史

Taddeus Kroes c3a611e667 Makefile cleanup		12 年之前
bin32	ee11dce399 Started on implementing CiviC compiler	12 年之前
doc	3d3c4d5421 Added empty assmebly phase	12 年之前
phases	3403c4a3fc Formatted all source code to 2 spaces as tab, and some more prettifications	12 年之前
test	3b95a79c59 Cleaned up constant propagation, and added some arithmetic simplicications	12 年之前
.gitignore	bbb89db752 Forgot to add the mli files in the last commit... and now removed (generated) types.ml from repo index	12 年之前
Makefile	c3a611e667 Makefile cleanup	12 年之前
OCamlMakefile	ee11dce399 Started on implementing CiviC compiler	12 年之前
README.md	6bb42fca4d Updated TODO list	12 年之前
globals.ml	3403c4a3fc Formatted all source code to 2 spaces as tab, and some more prettifications	12 年之前
globals.mli	bbb89db752 Forgot to add the mli files in the last commit... and now removed (generated) types.ml from repo index	12 年之前
lexer.mll	cd39b017b6 Cleanup	12 年之前
main.ml	3403c4a3fc Formatted all source code to 2 spaces as tab, and some more prettifications	12 年之前
parser.mly	fcb75e6424 Parser cleanup	12 年之前
run	df77f208ef Run script now does not continue when compiling fails	12 年之前
stringify.ml	3403c4a3fc Formatted all source code to 2 spaces as tab, and some more prettifications	12 年之前
stringify.mli	7c9b5cf1af Added interface files for all modules, moved command-line arguments to globals.ml, made types.ml an .mli file	12 年之前
types.mli	3403c4a3fc Formatted all source code to 2 spaces as tab, and some more prettifications	12 年之前
util.ml	3403c4a3fc Formatted all source code to 2 spaces as tab, and some more prettifications	12 年之前
util.mli	7c9b5cf1af Added interface files for all modules, moved command-line arguments to globals.ml, made types.ml an .mli file	12 年之前

CiviCaml

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

Documentation

make doc generates HTML documentation, which is accessible through doc/civicc.index.html.

The coding style adheres to [http://wiki.xen.org/wiki/OCaml_Best_Practices_for_Developers#Use_of_open].

Issues & TODO

Documentation for all modules (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).
Replace VarDec with Var_dec etc?