-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2017-033c8000df 2017-01-23 02:23:55.064300 --------------------------------------------------------------------------------
Name : zenon Product : Fedora 25 Version : 0.8.2 Release : 5.fc25 URL : http://zenon-prover.org/ Summary : Automated theorem prover for first-order classical logic Description : Zenon is an automated theorem prover for first order classical logic with equality, based on the tableau method. Zenon can read input files in TPTP, Coq, Focal, and its own Zenon format. Zenon can directly generate Coq proofs (proof scripts or proof terms), which can be reinserted into Coq specifications. Zenon can also be extended. -------------------------------------------------------------------------------- Update Information: Changes in coq 8.6: - See https://coq.inria.fr/distrib/V8.6/CHANGES Changes in why3 0.87.3: - fixed OCaml extraction with respect to ghost parameters - assorted bug fixes - support for Alt-Ergo 1.30 (released Nov 21, 2016) - support for Coq 8.6 (released Dec 8, 2016) - support for Gappa 1.3 (released Jul 20, 2016) - discarded support for Isabelle 2015 - support for Isabelle 2016-1 (released Dec 2016) - support for Z3 4.5.0 (released Nov 8, 2016) Changes in why 2.36: - [Frama-C plugin] Compatible with release Magnesium of Frama-C - compatibility with Why3 0.86.1 and above - new options to directly give the Why3 command to execute on the generated intermediate Why3 code: - [Krakatoa] option -why3 - [Jessie] option -why3cmd - [Frama-C plugin] option -jessie-why3 - [Frama-C plugin] options -jessie-timelimit, -jessie-atp discarded All other packages are rebuilds due to the new version of coq. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1330098 - FTBFS: segmentation fault during build https://bugzilla.redhat.com/show_bug.cgi?id=1330098 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade zenon' at the command line. For more information, refer to the dnf documentation available at http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list -- [email protected] To unsubscribe send an email to [email protected]
