| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help |
The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...
The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.
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.
| Package | Summary | Distribution | Download |
| gappa-1.5.0-2.fc42.aarch64.html | Prove programs with floating-point or fixed-point arithmetic | Fedora Rawhide for aarch64 | gappa-1.5.0-2.fc42.aarch64.rpm |
| gappa-1.5.0-2.fc42.ppc64le.html | Prove programs with floating-point or fixed-point arithmetic | Fedora Rawhide for ppc64le | gappa-1.5.0-2.fc42.ppc64le.rpm |
| gappa-1.5.0-2.fc42.s390x.html | Prove programs with floating-point or fixed-point arithmetic | Fedora Rawhide for s390x | gappa-1.5.0-2.fc42.s390x.rpm |
| gappa-1.5.0-2.fc42.x86_64.html | Prove programs with floating-point or fixed-point arithmetic | Fedora Rawhide for x86_64 | gappa-1.5.0-2.fc42.x86_64.rpm |
| gappa-1.4.2-4.fc41.aarch64.html | Prove programs with floating-point or fixed-point arithmetic | Fedora 41 for aarch64 | gappa-1.4.2-4.fc41.aarch64.rpm |
| gappa-1.4.2-4.fc41.ppc64le.html | Prove programs with floating-point or fixed-point arithmetic | Fedora 41 for ppc64le | gappa-1.4.2-4.fc41.ppc64le.rpm |
| gappa-1.4.2-4.fc41.s390x.html | Prove programs with floating-point or fixed-point arithmetic | Fedora 41 for s390x | gappa-1.4.2-4.fc41.s390x.rpm |
| gappa-1.4.2-4.fc41.x86_64.html | Prove programs with floating-point or fixed-point arithmetic | Fedora 41 for x86_64 | gappa-1.4.2-4.fc41.x86_64.rpm |
| gappa-1.4.2-3.fc40.aarch64.html | Prove programs with floating-point or fixed-point arithmetic | Fedora 40 for aarch64 | gappa-1.4.2-3.fc40.aarch64.rpm |
| gappa-1.4.2-3.fc40.ppc64le.html | Prove programs with floating-point or fixed-point arithmetic | Fedora 40 for ppc64le | gappa-1.4.2-3.fc40.ppc64le.rpm |
| gappa-1.4.2-3.fc40.s390x.html | Prove programs with floating-point or fixed-point arithmetic | Fedora 40 for s390x | gappa-1.4.2-3.fc40.s390x.rpm |
| gappa-1.4.2-3.fc40.x86_64.html | Prove programs with floating-point or fixed-point arithmetic | Fedora 40 for x86_64 | gappa-1.4.2-3.fc40.x86_64.rpm |
| gappa-1.4.2-1.fc39.aarch64.html | Prove programs with floating-point or fixed-point arithmetic | Fedora 39 updates for aarch64 | gappa-1.4.2-1.fc39.aarch64.rpm |
| gappa-1.4.2-1.fc39.x86_64.html | Prove programs with floating-point or fixed-point arithmetic | Fedora 39 updates for x86_64 | gappa-1.4.2-1.fc39.x86_64.rpm |
| gappa-1.4.1-3.fc39.aarch64.html | Prove programs with floating-point or fixed-point arithmetic | Fedora 39 for aarch64 | gappa-1.4.1-3.fc39.aarch64.rpm |
| gappa-1.4.1-3.fc39.ppc64le.html | Prove programs with floating-point or fixed-point arithmetic | Fedora 39 for ppc64le | gappa-1.4.1-3.fc39.ppc64le.rpm |
| gappa-1.4.1-3.fc39.s390x.html | Prove programs with floating-point or fixed-point arithmetic | Fedora 39 for s390x | gappa-1.4.1-3.fc39.s390x.rpm |
| gappa-1.4.1-3.fc39.x86_64.html | Prove programs with floating-point or fixed-point arithmetic | Fedora 39 for x86_64 | gappa-1.4.1-3.fc39.x86_64.rpm |
Generated by rpm2html 1.6