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