gappaversion
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 |
| Dependencies |
|
| Source [http] | https://gitlab.inria.fr/gappa/gappa/-/archive/gappa-1.4.0.tar.gz sha512=d5ed841fc8def27ae3973c97d9a242e2fe4997888d3a8c2d46029aab2c5311ec5d0df3a0780fc88eead20d6aa4b34122c9bb8d290f3a2b4886488f34602d43c7 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/gappa/gappa.1.4.0/opam |
No package is dependent
