/c2ocaml

c2ocaml - a source-to-source transformer to take C files into OCaml files compatible with lsee (a lightweight symbolic execution engine)

Primary LanguageCMakeMIT LicenseMIT

c2ocaml

c2ocaml - a source-to-source transformer to take c files into OCaml files compatible with lsee (a lightweight symbolic execution engine)