pilatversion

A Frama-C polynomial invariant generator

This tool generates invariants of linear and polynomial loops, with deterministic and non deterministic assignments, as annotations in the initial source code.

AuthorSteven De Oliveira <de.oliveira.steven@gmail.com>
LicenseLGPL-2.1-only
Published
Homepagehttps://github.com/Stevendeo/Pilat/
Issue Trackerhttps://github.com/Stevendeo/Pilat/issues
MaintainerSteven De Oliveira <de.oliveira.steven@gmail.com>
Dependencies
Conflicts
Source [http] https://github.com/Stevendeo/Pilat/archive/stable_1.1.zip
sha256=6843cd0783d7060494ab5d19d4c135b53e1ca1bfd27ad385ecd73c827188e830
md5=aa4f9778e377a1931b46920e68ab7b1c
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/pilat/pilat.1.1/opam
No package is dependent