pilatversion
A polynomial invariant generator based on Frama-C
| Author | Steven De Oliveira <de.oliveira.steven@gmail.com> |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://github.com/Stevendeo/Pilat/ |
| Issue Tracker | https://github.com/Stevendeo/Pilat/ |
| Maintainer | Steven De Oliveira <de.oliveira.steven@gmail.com> |
| Dependencies | |
| Source [http] | https://github.com/Stevendeo/Pilat/archive/1.3.tar.gz md5=70c732e7a2c3c5682a1acf2e4215c259 sha512=ef4f4cc5502c2d4f1f43c8d652d34fe17234fc55d9d6f98f441c5560b68fd3f333bb951b15e975e6a6126a457eabeab78681061a489ecfbf196ee73fb6c10a33 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pilat/pilat.1.3/opam |
No package is dependent
