gappaversion

Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic

AuthorGuillaume Melquiond
LicenseCeCILL
Published
Homepagehttps://gitlab.inria.fr/gappa/gappa
Issue Trackerhttps://gitlab.inria.fr/gappa/gappa/-/issues
Maintainer7895506+MSoegtropIMC@users.noreply.github.com
Dependencies
Source [http] https://gitlab.inria.fr/gappa/gappa/-/archive/gappa-1.4.0.tar.gz
sha512=d5ed841fc8def27ae3973c97d9a242e2fe4997888d3a8c2d46029aab2c5311ec5d0df3a0780fc88eead20d6aa4b34122c9bb8d290f3a2b4886488f34602d43c7
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/gappa/gappa.1.4.0/opam
No package is dependent