CamllVM

CamllVM copied to clipboard

c++0x and vmkit

6

All vmkit source code does not use c++0x standard unlike Z3. I don't think we can manage to keep both as is and fix it automagically in the Makefile (Please...

jean-dao

Make closurerec and related instructions work as planned

raph-amiard

remove ocaml source code

2

Without considering copyright issue, we are not supposed to "hack" the ocaml source files. So they should be outside of our git repo, in a separate directory, with a clear...

cgeoffroy