naim-mr / rob Public

Notifications You must be signed in to change notification settings
Fork 1
Star 3

IN PROGRESS: a better design for function static analyzer

3 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
analyzer		analyzer
domains		domains
frontend		frontend
test		test
utils		utils
.ocamlformat		.ocamlformat
README.md		README.md
dune		dune
dune-project		dune-project

Repository files navigation

rob

Redesign of Function a static analyzer for (robust) Termination and (robust) CTL properties of C programs.

About

IN PROGRESS: a better design for function static analyzer

Report repository

Releases

No releases published

Packages

No packages published

Languages

OCaml 100.0%