8000 GitHub - jjhenkel/lsee: lsee - a lightweight symbolic execution engine written in OCaml · GitHub

Repository navigation

lsee

Public

About

lsee - a lightweight symbolic execution engine written in OCaml

7 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
artifacts		artifacts
driver		driver
lib		lib
opt		opt
.dockerignore		.dockerignore
.gitignore		.gitignore
Dockerfile		Dockerfile
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
entrypoint.sh		entrypoint.sh
lsee		lsee
lsee-all		lsee-all

Repository files navigation

lsee

lsee - a lightweight symbolic execution engine written in OCaml.

About

lsee - a lightweight symbolic execution engine written in OCaml

7 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages

0