Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Review Request: gappa - Prove programs with floating-point or fixed-point arithmetic https://bugzilla.redhat.com/show_bug.cgi?id=622173 Summary: Review Request: gappa - Prove programs with floating-point or fixed-point arithmetic Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: medium Component: Package Review AssignedTo: nobody@xxxxxxxxxxxxxxxxx ReportedBy: dwheeler@xxxxxxxxxxxx QAContact: extras-qa@xxxxxxxxxxxxxxxxx CC: notting@xxxxxxxxxx, fedora-package-review@xxxxxxxxxx Estimated Hours: 0.0 Classification: Fedora Spec URL: http://www.dwheeler.com/SPECS/gappa.spec SRPM URL: http://www.dwheeler.com/SRPMS/gappa-0.13.0-1.fc13.src.rpm Description: 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. Running rpmlint only produces one warning (because there is no manual upstream): rpmlint ./gappa.spec ../RPMS/i686/gappa-0.13.0-1.fc13.i686.rpm ../SRPMS/gappa-0.13.0-1.fc13.src.rpm gappa.i686: W: no-manual-page-for-binary gappa 2 packages and 1 specfiles checked; 0 errors, 1 warnings. Koji builds are fine on F13 and F14: koji build --scratch dist-f14 ~/rpmbuild/SRPMS/gappa-0.13.0-1.fc13.src.rpm ... Task info: http://koji.fedoraproject.org/koji/taskinfo?taskID=2387684 ... 0 free 0 open 3 done 0 failed 2387684 build (dist-f14, gappa-0.13.0-1.fc13.src.rpm) completed successfully koji build --scratch dist-f13 ~/rpmbuild/SRPMS/gappa-0.13.0-1.fc13.src.rpm ... Task info: http://koji.fedoraproject.org/koji/taskinfo?taskID=2387687 ... 0 free 0 open 3 done 0 failed 2387687 build (dist-f13, gappa-0.13.0-1.fc13.src.rpm) completed successfully -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review