gappa
Tool for verifying floating-point or fixed-point arithmetic
Gappa (Génération Automatique de Preuves de Propriétés Arithmétiques -- automatic proof generation of arithmetic properties) is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 1.4.2 | 2 | 17 h | details › |
Versions & arches
Use flags of 1.4.2
- doc Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally