gappa-1.3.2-3.fc29.i686.rpm


Advertisement

Description

gappa - Prove programs with floating-point or fixed-point arithmetic

Property Value
Distribution Fedora 29
Repository Fedora i386
Package filename gappa-1.3.2-3.fc29.i686.rpm
Package name gappa
Package version 1.3.2
Package release 3.fc29
Package architecture i686
Package type rpm
Homepage http://gappa.gforge.inria.fr/
License GPLv2 or CeCILL
Maintainer -
Download size 716.17 KB
Installed size 1.22 MB
Gappa is a tool intended to help verifying and formally prove
properties on numerical programs and circuits handling floating-point
or fixed-point arithmetic.  This tool manipulates logical formulas
stating the enclosures of expressions in some intervals.  Through the
use of rounding operators as part of the expressions, Gappa is specially
designed to deal with formulas that could appear when certifying numerical
codes. In particular, Gappa makes it simple to bound computational errors
due to floating-point arithmetic.  The tool and its documentation were
written by Guillaume Melquiond.

Alternatives

Package Version Architecture Repository
gappa-1.3.2-3.fc29.x86_64.rpm 1.3.2 x86_64 Fedora
gappa - - -

Requires

Name Value
libc.so.6(GLIBC_2.4) -
libgcc_s.so.1 -
libgcc_s.so.1(GCC_3.0) -
libgmp.so.10 -
libm.so.6 -
libmpfr.so.4 -
libstdc++.so.6 -
libstdc++.so.6(CXXABI_1.3) -
libstdc++.so.6(CXXABI_1.3.9) -
libstdc++.so.6(GLIBCXX_3.4) -
libstdc++.so.6(GLIBCXX_3.4.10) -
libstdc++.so.6(GLIBCXX_3.4.11) -
libstdc++.so.6(GLIBCXX_3.4.15) -
libstdc++.so.6(GLIBCXX_3.4.20) -
libstdc++.so.6(GLIBCXX_3.4.21) -
libstdc++.so.6(GLIBCXX_3.4.9) -
rtld(GNU_HASH) -

Provides

Name Value
gappa = 1.3.2-3.fc29
gappa(x86-32) = 1.3.2-3.fc29

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package gappa-1.3.2-3.fc29.i686.rpm
Source Package gappa-1.3.2-3.fc29.src.rpm

Install Howto

Install gappa rpm package:

# dnf --refresh install gappa

Files

Path
/usr/bin/gappa
/usr/lib/.build-id/
/usr/lib/.build-id/2c/fa01bdd3d1959e047cc8a0aeffcc5d7d259d7c
/usr/share/doc/gappa/AUTHORS
/usr/share/doc/gappa/NEWS
/usr/share/doc/gappa/README
/usr/share/doc/gappa/gappa.pdf
/usr/share/licenses/gappa/COPYING
/usr/share/licenses/gappa/COPYING.GPL

Changelog

2018-07-13 - Fedora Release Engineering <releng@fedoraproject.org> - 1.3.2-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-06 - Jerry James <loganjerry@gmail.com> - 1.3.2-2
- Fix out of bounds vector accesses
2018-02-12 - Jerry James <loganjerry@gmail.com> - 1.3.2-1
- New upstream version
2018-02-07 - Fedora Release Engineering <releng@fedoraproject.org> - 1.3.1-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2017-08-02 - Fedora Release Engineering <releng@fedoraproject.org> - 1.3.1-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-26 - Fedora Release Engineering <releng@fedoraproject.org> - 1.3.1-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-07-03 - Jonathan Wakely <jwakely@redhat.com> - 1.3.1-3
- Rebuilt for Boost 1.64
2017-02-10 - Fedora Release Engineering <releng@fedoraproject.org> - 1.3.1-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
2016-11-28 - Jerry James <loganjerry@gmail.com> - 1.3.1-1
- New upstream version
2016-07-22 - Jerry James <loganjerry@gmail.com> - 1.3.0-1
- New upstream version

See Also

Package Description
gappalib-coq-1.3.3-4.fc29.i686.rpm Coq support library for gappa
gappalib-coq-source-1.3.3-4.fc29.i686.rpm Source Coq files
garcon-0.6.1-21.fc29.i686.rpm Implementation of the freedesktop.org menu specification
garcon-devel-0.6.1-21.fc29.i686.rpm Development files for garcon
garden-1.0.9-7.fc29.i686.rpm An innovative old-school 2D vertical shoot-em-up
gargi-fonts-1.9-17.fc29.noarch.rpm A Devanagari font
garmin-sync-0.3-17.fc29.noarch.rpm Download data from Garmin fitness computers
garmindev-0.3.4-18.fc29.i686.rpm Drivers for communication with Garmin GPS devices
garmintools-0.10-14.fc29.i686.rpm Tools for Garmin GPS-devices
garmintools-devel-0.10-14.fc29.i686.rpm Development-files for garmintools
gasnet-1.30.0-7.fc29.i686.rpm A Portable High-Performance Communication Layer for GAS Languages
gasnet-common-1.30.0-7.fc29.i686.rpm GASNet shared binaries and libraries
gasnet-devel-1.30.0-7.fc29.i686.rpm Development package for GASNet
gasnet-doc-1.30.0-7.fc29.noarch.rpm Documentation package for GASNet
gasnet-mpich-1.30.0-7.fc29.i686.rpm GASNet MPICH binaries and libraries
Advertisement
Advertisement