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?