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/f53e105cd73484fc76eb58ba24ead73be502c608.tar.gz
sha512=b2c04d87b502fcab24573b6030e1ba3e2bd9cc7ae719367d12785e8bd91e43001f8d64e70d5ae515ddd9ec636d9c1ce89b54b18ae0796955b5c97b71fee5c957
StatisticsInstalled 5 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/gappa/gappa.1.3.5/opam
No package is dependent