/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

Stargazers

No one’s star this repository yet.