-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2020-81c6832226 2020-10-02 00:33:26.711113 --------------------------------------------------------------------------------
Name : z3 Product : Fedora 33 Version : 4.8.9 Release : 1.fc33 URL : https://github.com/Z3Prover/z3 Summary : Satisfiability Modulo Theories (SMT) solver Description : Z3 is a satisfiability modulo theories (SMT) solver; given a set of constraints with variables, it reports a set of values for those variables that would meet the constraints. The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers. -------------------------------------------------------------------------------- Update Information: Changes in apron 0.9.13: - Fix Java version detection & compilation (#30) - Minor grammar and spelling fixes (#22), (#26) - Use texi2any instead of (dead) texi2html (#23) - Fix best and exact flags in octagons (#25) - Fix linking under MaxOS X (#28) - Taylor1+ fixes Changes in flocq 3.3.1-7: - Fix installation issues Changes in ocaml-zarith 1.10: - Improvement #66: added some mpz functions (divisible, congruent, jacobi, legendre, krobecker, remove, fac, primorial, bin, fib, lucnum) - Improvement #65: Q.of_string now handles decimal point and scientific notation [Ghiles Ziat] - Fix #60: Z.root now raises an exception for invalid arguments - Fix #62: raise division by 0 for 0-modulo in powm - Fix #59: improved abs for negative arguments - Fix #58: gcd, lcm, gcdext now behave as gmp for negative arguments - Fix #57: clean compile with sage strings [hugo] Changes in why3 1.3.2: - fixed compilation on BSD/macOS - fixed use_api examples - removed support for strings from the default variant of CVC4 1.7 - fixed custom editors for provers not being saved Changes in why3 1.3.3: - fixed compilation on OpenBSD - support for Coq 8.12.0 (released Jul 27, 2020) Changes in z3 4.8.9: - move to python3 for release.yml - disable pip in trial release - fixing #4670 (#4682) - fix missing parenthesis in C++ API - add macros to model #4679 - fix regression in get-consequence on QF_FD - remove xcode The alt-ergo, frama-c, gappalib-coq, ocaml-cryptokit, and ocaml-tplib builds are simple rebuilds due to the changes above. -------------------------------------------------------------------------------- ChangeLog: * Fri Sep 11 2020 Jerry James <[email protected]> - 4.8.9-1 - Version 4.8.9 -------------------------------------------------------------------------------- References: [ 1 ] Bug #1872188 - F33FailsToInstall: frama-c https://bugzilla.redhat.com/show_bug.cgi?id=1872188 [ 2 ] Bug #1876638 - F34FailsToInstall: gappalib-coq https://bugzilla.redhat.com/show_bug.cgi?id=1876638 [ 3 ] Bug #1878004 - z3-4.8.9 is available https://bugzilla.redhat.com/show_bug.cgi?id=1878004 -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2020-81c6832226' 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] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected]
