gappa-0.16.6-alt1_1.i586.rpm


Advertisement

Description

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

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

Provides

  • gappa = 0.16.6-alt1_1

    Download

    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

    • /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
    Advertisement
    Advertisement