gappaversion Documentation on ocaml.org
Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic
| Author | Guillaume Melquiond |
|---|---|
| License | CeCILL |
| Published | |
| Homepage | https://gitlab.inria.fr/gappa/gappa |
| Issue Tracker | https://gitlab.inria.fr/gappa/gappa/-/issues |
| Maintainer | 7895506+MSoegtropIMC@users.noreply.github.com |
| Available | arch != "x86_32" |
| Dependencies |
|
| Source [http] | https://gappa.gitlabpages.inria.fr/releases/gappa-1.3.5.tar.gz sha512=60b5719e3a321df43e33045fa8f4511fc02a4218d1ae7e476e7c6ebcf90ae208832881f6eea5b99a3296dfcc3a18c7e1f4ea9dbea446fc502e14306b6975f6e6 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/gappa/gappa.1.3.5/opam |
No package is dependent
