pilat

A polynomial invariant generator based on Frama-C
Description
Install
Documentation failed to build. github.com Edit opam file
Published
17 Mar 2020
Authors
Maintainers
Sources
1.3.tar.gz
md5=70c732e7a2c3c5682a1acf2e4215c259 sha512=ef4f4cc5502c2d4f1f43c8d652d34fe17234fc55d9d6f98f441c5560b68fd3f333bb951b15e975e6a6126a457eabeab78681061a489ecfbf196ee73fb6c10a33
Dependencies
frama-c = "19.0"
zarith
lacaml
ocamlfind build
ocaml >= "4.03.0"
Reverse Dependencies