Artifacts for OchaCaml4D instructions

This repository includes the derivation steps for OchaCaml4D virtual machine instructions.

How to run the code

Download OcamlMakefile as ~/include/OCamlMakefile, or modify OCAMLMAKEFILE value in each eval*/Makefile to the desired local path.
Run the following to test the code in eval*/ folder.

$ cd eval1a/
$ make test

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
eval1a		eval1a
eval2b		eval2b
eval4a		eval4a
eval7a		eval7a
eval7b		eval7b
eval7c		eval7c
eval8a		eval8a
eval9a		eval9a
test-suite		test-suite
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md