Summary
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.
Versions
v1.4.2 :: 0 :: gentoo
- Modified
- License
- CeCILL-2 GPL-3+
- Keywords
- ~amd64 ~x86
- USE flags
- doc
v1.4.1 :: 0 :: gentoo
- Modified
- License
- CeCILL-2 GPL-3+
- Keywords
- ~amd64 ~x86
- USE flags
- doc
USE flags
General
- doc
- Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
Dependencies
dev-libs / boost : Boost Libraries for C++
dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers
dev-libs / mpfr : Library for multiple-precision floating-point computations with exact rounding
Runtime Dependencies
dev-libs / boost : Boost Libraries for C++
dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers
dev-libs / mpfr : Library for multiple-precision floating-point computations with exact rounding
Depending packages
sci-mathematics / gappalib-coq : Allows the certificates Gappa generates to be imported by the Coq
Bugs
- 259476
- [science overlay] sci-mathematics/gappa (New package)
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/gappa: bump to 1.4.2
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/gappa: new package; add 1.4.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>