Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Review Request: why3 - Software verification platform https://bugzilla.redhat.com/show_bug.cgi?id=768538 Summary: Review Request: why3 - Software verification platform Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: medium Component: Package Review AssignedTo: nobody@xxxxxxxxxxxxxxxxx ReportedBy: loganjerry@xxxxxxxxx QAContact: extras-qa@xxxxxxxxxxxxxxxxx CC: notting@xxxxxxxxxx, package-review@xxxxxxxxxxxxxxxxxxxxxxx Classification: Fedora Story Points: --- Type: --- Regression: --- Mount Type: --- Documentation: --- Spec URL: http://jjames.fedorapeople.org/why3/why3.spec SRPM URL: http://jjames.fedorapeople.org/why3/why3-0.71-1.fc16.src.rpm Description: Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants. Fedora note: while why3 is the eventual successor to the existing why package, right now both are needed. The current version of why can be used by itself, but if why3 is also installed, some of its more powerful reasoning features can be used. On the flip side, why3 isn't yet complete. Upstream recommends that the two versions be used side by side for now. -- 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