gappa-0.16.6-alt1_1.i586.rpm


Advertisement

Description

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

Property Value
Distribution ALT Linux Sisyphus
Repository Autoimports i586
Package name gappa
Package version 0.16.6
Package release alt1_1
Package architecture i586
Package type rpm
Installed size 1.25 MB
Download size 1.25 MB
Official Mirror ftp.altlinux.org
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-0.16.6-alt1_1.x86_64.rpm 0.16.6 x86_64 Autoimports
gappa - - -

Requires

Name Value
/lib/ld-linux.so.2 -
libc.so.6(GLIBC_2.0) -
libc.so.6(GLIBC_2.1) -
libc.so.6(GLIBC_2.1.3) -
libc.so.6(GLIBC_2.3.4) -
libc.so.6(GLIBC_2.4) -
libgcc_s.so.1(GCC_3.0) -
libgmp.so.10 -
libm.so.6(GLIBC_2.0) -
libmpfr.so.4 -
libstdc++.so.6(CXXABI_1.3) -
libstdc++.so.6(GLIBCXX_3.4) -
libstdc++.so.6(GLIBCXX_3.4.10) -
libstdc++.so.6(GLIBCXX_3.4.15) -
libstdc++.so.6(GLIBCXX_3.4.9) -
rpmlib(PayloadIsLzma) -
rpmlib(SetVersions) -
rtld(GNU_HASH) -
rtld(GNU_UNIQUE) -

Provides

Name Value
gappa = 0.16.6-alt1_1

Download

Type URL
Binary Package gappa-0.16.6-alt1_1.i586.rpm
Source Package gappa-0.16.6-alt1_1.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/autoimports/Sisyphus i586 autoimports
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/autoimports/Sisyphus noarch autoimports
    
  2. Update the package index:
    # sudo apt-get update
  3. Install gappa rpm package:
    # sudo apt-get install gappa

Files

Path
/usr/bin/gappa
/usr/share/doc/gappa-0.16.6/AUTHORS
/usr/share/doc/gappa-0.16.6/COPYING
/usr/share/doc/gappa-0.16.6/COPYING.GPL
/usr/share/doc/gappa-0.16.6/NEWS
/usr/share/doc/gappa-0.16.6/README
/usr/share/doc/gappa-0.16.6/TODO
/usr/share/doc/gappa-0.16.6/gappa.pdf

See Also

Package Description
garmindev-0.3.4-alt1_18.i586.rpm Drivers for communication with Garmin GPS devices
gauche-0.9.4-alt1_3.i586.rpm Scheme script interpreter with multibyte character handling
gauche-devel-0.9.4-alt1_3.i586.rpm Development files for Gauche
gauche-gl-0.6-alt1_8.i586.rpm OpenGL binding for Gauche
gauche-gl-devel-0.6-alt1_8.i586.rpm Development files for gauche-gl
gauche-gtk-0.6-alt1_0.15.20121223gitceb4579.i586.rpm Gauche extension module to use GTK
gauche-gtk-devel-0.6-alt1_0.15.20121223gitceb4579.i586.rpm Development files for gauche-gtk
gcolor2-0.4-alt1_16.i586.rpm A simple color selector for GTK+2
gdigi-0.4.0-alt1_20140214gitcada964d.i586.rpm Utility to control DigiTech effect pedals
gdmap-0.8.1-alt1_16.i586.rpm A tool which allows to visualize disk space
gdome2-0.8.1-alt1_11.i586.rpm DOM level 2 library for accessing XML files
gdome2-devel-0.8.1-alt1_11.i586.rpm Development files for gdome2
gdpc-2.2.5-alt1_14.i586.rpm A program for visualising molecular dynamics simulations data
gds2pov-0.20080229-alt1_18.i586.rpm GDS2 layout file to POV-Ray conversion
gds2pov-devel-0.20080229-alt1_18.i586.rpm Development files for the GDS2POV
Advertisement
Advertisement