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-2.1 |
| 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.6.0.tar.gz sha512=9b3193798e9af5afaf2d9f01fc6936620275c891ce72258e17893b5f1ac27fa72f1dad04b415d7408880035b0d71078a09a91fc07055f37858c0a9062c4ccc06 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/gappa/gappa.1.6.0/opam |
No package is dependent
