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

Taddeus Kroes c8e344835d Added test file for for-loops 12 anni fa
bin32 ee11dce399 Started on implementing CiviC compiler 12 anni fa
doc ee11dce399 Started on implementing CiviC compiler 12 anni fa
phases 1c3447e39e Implemented transformation of for-loops to while-loops 12 anni fa
test c8e344835d Added test file for for-loops 12 anni fa
.gitignore 2126ae7cee Removed preprocessor from parser, improved some error messages, moved some functions to common files 12 anni fa
Makefile f0e55d0030 Implemented C preprocessor integration 12 anni fa
OCamlMakefile ee11dce399 Started on implementing CiviC compiler 12 anni fa
README.md cebd145125 Moved command-line arguments to parameterized type 12 anni fa
ast.ml 73f3b81c3f Added output file comand-line option 12 anni fa
lexer.mll f0e55d0030 Implemented C preprocessor integration 12 anni fa
main.ml 1c3447e39e Implemented transformation of for-loops to while-loops 12 anni fa
parser.mly 2126ae7cee Removed preprocessor from parser, improved some error messages, moved some functions to common files 12 anni fa
stringify.ml 4f112ab59c Did a lot of stuff: 12 anni fa
stringify.mli ee11dce399 Started on implementing CiviC compiler 12 anni fa
util.ml 2126ae7cee Removed preprocessor from parser, improved some error messages, moved some functions to common files 12 anni fa
util.mli 2126ae7cee Removed preprocessor from parser, improved some error messages, moved some functions to common files 12 anni fa

README.md

CiviCaml

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

Issues & TODO

  • Load file content and run C preprocessor in load phase