natalymr / c2ocaml Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jjhenkel/c2ocaml
c2ocaml - a source-to-source transformer to take C files into OCaml files compatible with lsee (a lightweight symbolic execution engine)
License: MIT License