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