8000 GitHub - jjhenkel/c2ocaml: c2ocaml - a source-to-source transformer to take C files into OCaml files compatible with lsee (a lightweight symbolic execution engine) · GitHub

Repository navigation

c2ocaml

Public

About

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

8 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
artifacts		artifacts
corpus		corpus
gcc-7.2.0		gcc-7.2.0
logs		logs
plugin		plugin
spec2image		spec2image
.dockerignore		.dockerignore
.gitignore		.gitignore
Dockerfile		Dockerfile
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
entrypoint.sh		entrypoint.sh
merge-sources		merge-sources
setup		setup

Repository files navigation

c2ocaml

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

About

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

8 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages

0