The following Fedora 25 Security updates need testing: Age URL 78 https://bodhi.fedoraproject.org/updates/FEDORA-2016-9b3ed5f170 chicken-4.11.0-3.fc25 29 https://bodhi.fedoraproject.org/updates/FEDORA-2016-6dd3bc37c3 compat-guile18-1.8.8-14.fc25 15 https://bodhi.fedoraproject.org/updates/FEDORA-2016-38e5b05260 tomcat-8.0.38-1.fc25 11 https://bodhi.fedoraproject.org/updates/FEDORA-2016-301724f38e mingw-libwebp-0.5.1-2.fc25 9 https://bodhi.fedoraproject.org/updates/FEDORA-2016-0c4e822340 memcached-1.4.33-1.fc25 9 https://bodhi.fedoraproject.org/updates/FEDORA-2016-d4571bf555 python-django-1.9.11-1.fc25 6 https://bodhi.fedoraproject.org/updates/FEDORA-2016-0a952a3bc0 tre-0.8.0-18.20140228gitc2f5d13.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2016-2d90e27e50 python-cryptography-vectors-1.5.3-1.fc25 python-cryptography-1.5.3-3.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2016-567a5591e4 bind99-9.9.9-4.P4.fc25 The following Fedora 25 Critical Path updates have yet to be approved: Age URL 33 https://bodhi.fedoraproject.org/updates/FEDORA-2016-6cb65ea55b pungi-4.1.10-1.fc25 6 https://bodhi.fedoraproject.org/updates/FEDORA-2016-6918573b8c libpsl-0.14.0-2.fc25 publicsuffix-list-20161028-1.fc25 4 https://bodhi.fedoraproject.org/updates/FEDORA-2016-ebd1f64113 flatpak-0.6.13-2.fc25 2 https://bodhi.fedoraproject.org/updates/FEDORA-2016-e2af059f1a lxsession-0.5.2-12.D20161106git7b9a9580da.fc25 2 https://bodhi.fedoraproject.org/updates/FEDORA-2016-5bf00b02d8 libfm-1.2.4-9.D20161105gitc2989af015.fc25 2 https://bodhi.fedoraproject.org/updates/FEDORA-2016-fa3d43405e menu-cache-1.0.2-1.fc25 2 https://bodhi.fedoraproject.org/updates/FEDORA-2016-91844f4982 anaconda-25.20.8-1.fc25 python-blivet-2.1.6-3.fc25 1 https://bodhi.fedoraproject.org/updates/FEDORA-2016-bca806ad00 libimobiledevice-1.2.0-8.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2016-567a5591e4 bind99-9.9.9-4.P4.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2016-9f4e63509f rpm-4.13.0-4.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2016-3d7692aeec kexec-tools-2.0.13-7.fc25.1 0 https://bodhi.fedoraproject.org/updates/FEDORA-2016-62115cd1cb libwacom-0.22-2.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2016-4d378d4f01 libinput-1.5.1-1.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2016-3f8b3994e4 libsolv-0.6.24-1.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2016-2d90e27e50 python-cryptography-vectors-1.5.3-1.fc25 python-cryptography-1.5.3-3.fc25 0 https://bodhi.fedoraproject.org/updates/FEDORA-2016-8d90406113 firewalld-0.4.4.1-1.fc25 The following builds have been pushed to Fedora 25 updates-testing bind99-9.9.9-4.P4.fc25 cockpit-123-1.fc25 digikam-5.3.0-1.fc25 ejabberd-16.09-2.fc25 erlang-esip-1.0.8-1.fc25 erlang-fast_tls-1.0.7-1.fc25 erlang-fast_xml-1.1.15-1.fc25 erlang-fast_yaml-1.0.6-1.fc25 erlang-iconv-1.0.2-1.fc25 erlang-stringprep-1.0.6-1.fc25 erlang-stun-1.0.7-1.fc25 fbterm-1.7-10.fc25 fedmsg-0.18.0-1.fc25 firewalld-0.4.4.1-1.fc25 gap-pkg-tomlib-1.2.6-1.fc25 gst-entrans-1.0.3-1.fc25 java-1.8.0-openjdk-1.8.0.111-3.b16.fc25 kexec-tools-2.0.13-7.fc25.1 libinput-1.5.1-1.fc25 libmediainfo-0.7.90-1.fc25 libreoffice-5.2.3.3-6.fc25 libsolv-0.6.24-1.fc25 libwacom-0.22-2.fc25 libzrtpcpp-4.6.4-1.fc25 mediainfo-0.7.90-1.fc25 mediawriter-4.0.4-0.fc25 mingw-mediawriter-4.0.4-0.fc25 openms-2.1.0-0.1.fc25 python-cryptography-1.5.3-3.fc25 python-cryptography-vectors-1.5.3-1.fc25 python-moksha-hub-1.4.8-1.fc25 python-peewee-2.8.2-3.fc25 rpm-4.13.0-4.fc25 z3-4.5.0-1.fc25 Details about builds: ================================================================================ bind99-9.9.9-4.P4.fc25 (FEDORA-2016-567a5591e4) The Berkeley Internet Name Domain (BIND) DNS (Domain Name System) libraries -------------------------------------------------------------------------------- Update Information: Security fix for CVE-2016-6170 ---- Security fix for CVE-2016-8864 -------------------------------------------------------------------------------- References: [ 1 ] Bug #1353563 - CVE-2016-6170 bind: Improper restriction of zone size limit https://bugzilla.redhat.com/show_bug.cgi?id=1353563 [ 2 ] Bug #1389652 - CVE-2016-8864 bind: assertion failure while handling responses containing a DNAME answer https://bugzilla.redhat.com/show_bug.cgi?id=1389652 -------------------------------------------------------------------------------- ================================================================================ cockpit-123-1.fc25 (FEDORA-2016-c4d4f550d1) A user interface for Linux servers -------------------------------------------------------------------------------- Update Information: - Release a second tarball with cached javascript dependencies - Start verifying that Cockpit works on Ubuntu 16.04 - Enable and verify the network functionality on Debian - Integration tests now log core dumps for diagnosis ---- - Works with UDisks in addition to storaged - Allow logging into other systems from login page - Explicitly specify javascript dependency versions -------------------------------------------------------------------------------- ================================================================================ digikam-5.3.0-1.fc25 (FEDORA-2016-c860e73769) A digital camera accessing & photo management application -------------------------------------------------------------------------------- Update Information: New release with many bugfixes and improved translations, see also: https://www.digikam.org/node/761 -------------------------------------------------------------------------------- References: [ 1 ] Bug #1392645 - digikam-5.3.0 is available https://bugzilla.redhat.com/show_bug.cgi?id=1392645 -------------------------------------------------------------------------------- ================================================================================ ejabberd-16.09-2.fc25 (FEDORA-2016-b5f8025233) A distributed, fault-tolerant Jabber/XMPP server -------------------------------------------------------------------------------- Update Information: Fix permission issues during startup. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1393587 - ejabberd does not start after upgrading Fedora 24 to Fedora 25 https://bugzilla.redhat.com/show_bug.cgi?id=1393587 -------------------------------------------------------------------------------- ================================================================================ erlang-esip-1.0.8-1.fc25 (FEDORA-2016-b5f8025233) ProcessOne SIP server component in Erlang -------------------------------------------------------------------------------- Update Information: Fix permission issues during startup. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1393587 - ejabberd does not start after upgrading Fedora 24 to Fedora 25 https://bugzilla.redhat.com/show_bug.cgi?id=1393587 -------------------------------------------------------------------------------- ================================================================================ erlang-fast_tls-1.0.7-1.fc25 (FEDORA-2016-b5f8025233) TLS / SSL native driver for Erlang / Elixir -------------------------------------------------------------------------------- Update Information: Fix permission issues during startup. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1393587 - ejabberd does not start after upgrading Fedora 24 to Fedora 25 https://bugzilla.redhat.com/show_bug.cgi?id=1393587 -------------------------------------------------------------------------------- ================================================================================ erlang-fast_xml-1.1.15-1.fc25 (FEDORA-2016-b5f8025233) Fast Expat based Erlang XML parsing and manipulation library -------------------------------------------------------------------------------- Update Information: Fix permission issues during startup. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1393587 - ejabberd does not start after upgrading Fedora 24 to Fedora 25 https://bugzilla.redhat.com/show_bug.cgi?id=1393587 -------------------------------------------------------------------------------- ================================================================================ erlang-fast_yaml-1.0.6-1.fc25 (FEDORA-2016-b5f8025233) An Erlang wrapper for libyaml "C" library -------------------------------------------------------------------------------- Update Information: Fix permission issues during startup. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1393587 - ejabberd does not start after upgrading Fedora 24 to Fedora 25 https://bugzilla.redhat.com/show_bug.cgi?id=1393587 -------------------------------------------------------------------------------- ================================================================================ erlang-iconv-1.0.2-1.fc25 (FEDORA-2016-b5f8025233) Fast encoding conversion library for Erlang / Elixir -------------------------------------------------------------------------------- Update Information: Fix permission issues during startup. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1393587 - ejabberd does not start after upgrading Fedora 24 to Fedora 25 https://bugzilla.redhat.com/show_bug.cgi?id=1393587 -------------------------------------------------------------------------------- ================================================================================ erlang-stringprep-1.0.6-1.fc25 (FEDORA-2016-b5f8025233) A framework for preparing Unicode strings to help input and comparison -------------------------------------------------------------------------------- Update Information: Fix permission issues during startup. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1393587 - ejabberd does not start after upgrading Fedora 24 to Fedora 25 https://bugzilla.redhat.com/show_bug.cgi?id=1393587 -------------------------------------------------------------------------------- ================================================================================ erlang-stun-1.0.7-1.fc25 (FEDORA-2016-b5f8025233) STUN and TURN library for Erlang / Elixir -------------------------------------------------------------------------------- Update Information: Fix permission issues during startup. -------------------------------------------------------------------------------- References: [ 1 ] Bug #1393587 - ejabberd does not start after upgrading Fedora 24 to Fedora 25 https://bugzilla.redhat.com/show_bug.cgi?id=1393587 -------------------------------------------------------------------------------- ================================================================================ fbterm-1.7-10.fc25 (FEDORA-2016-04399cfcdc) A frame-buffer terminal emulator -------------------------------------------------------------------------------- Update Information: Drop fbterm-udevrule -------------------------------------------------------------------------------- References: [ 1 ] Bug #1226680 - fbterm-udevrules allows public access to frame buffer devices https://bugzilla.redhat.com/show_bug.cgi?id=1226680 -------------------------------------------------------------------------------- ================================================================================ fedmsg-0.18.0-1.fc25 (FEDORA-2016-0b31eebb2b) Tools for Fedora Infrastructure real-time messaging -------------------------------------------------------------------------------- Update Information: Support for running fedmsg consumers on STOMP. https://lists.fedoraproject.org/ archives/list/infrastructure@xxxxxxxxxxxxxxxxxxxxxxx/thread/IJ46TBZLXLO3MDSWSGBM OTP4JWKECCSG/ -------------------------------------------------------------------------------- ================================================================================ firewalld-0.4.4.1-1.fc25 (FEDORA-2016-8d90406113) A firewall daemon with D-Bus interface providing a dynamic firewall -------------------------------------------------------------------------------- Update Information: **Support Recognition of Automatic Helper Assignment Setting** Automatic helper assignment has been disabled in kernel 4.7. firewalld version 0.4.4 is now able to recognize this and to create rules if automatic helper assignment has been turned off to make conntrack helpers work again. If automatic helper assignment is turned on, then firewalld will behave as before. For more information about the use of netfilter conntrack helper, please have a look at http://www.firewalld.org/2016/10/automatic-helper-assignment **Firewall-applet is now using Qt5** The firewall applet has been ported from Qt4 to Qt5. **Fixes LogDenied for zone reject targets** The logging rules for LogDenied have been placed after the reject rules for zones using the reject targets. The logging rules are now placed before these reject rules to fix logging. **Does not abort transaction on failed ipv6_rpfilter rules** The existing transaction will be executed before trying to add the rules for ipv6_rpfilter and a new transaction will be used to apply the ipv6_rpfiler rules. If this transaction fails, a warning is printed out and the remaining rules are applied with the next transaction. **Enhancements for the command line tools** The command line tools are now more consistent with errors and error codes in sequence options. The NOT_AUTHORIZED error is now also working. **New services** The services cfengine, condor-collector and smtp-submission have been added. **firewall- config: Use proper source check in sourceDialog (issue #162)** **firewallctl: Use sys.excepthook to force exception_handler usage always** **firewallctl: Support helpers** **Several other enhancements and fixes** -------------------------------------------------------------------------------- References: [ 1 ] Bug #1390961 - firewalld does not allow connections to VPN PPTP server https://bugzilla.redhat.com/show_bug.cgi?id=1390961 [ 2 ] Bug #1380168 - Firewalld cause any ftp client to get "host unknown" when go in passive mode connecting with ip address https://bugzilla.redhat.com/show_bug.cgi?id=1380168 [ 3 ] Bug #1297235 - samba browsing blocked even with the samba-client service enabled, works with connection/interface in 'trusted' zone https://bugzilla.redhat.com/show_bug.cgi?id=1297235 -------------------------------------------------------------------------------- ================================================================================ gap-pkg-tomlib-1.2.6-1.fc25 (FEDORA-2016-ec968e50b5) GAP Table of Marks package -------------------------------------------------------------------------------- Update Information: This build updates the maintainer's contact information and the test infrastructure. The data contents are unchanged from the previous version. -------------------------------------------------------------------------------- ================================================================================ gst-entrans-1.0.3-1.fc25 (FEDORA-2016-11a5a61063) Plug-ins and tools for transcoding and recording with GStreamer -------------------------------------------------------------------------------- Update Information: This update contains minor bugfixes for both entrans and associated GStreamer plugins. Full release notes: http://gentrans.sourceforge.net/docs/head/manual/html/package.html#sect-history -------------------------------------------------------------------------------- ================================================================================ java-1.8.0-openjdk-1.8.0.111-3.b16.fc25 (FEDORA-2016-ae6ca5f109) OpenJDK Runtime Environment -------------------------------------------------------------------------------- Update Information: java SSL/TLS implementation: should follow the policies of system-wide crypto policy -------------------------------------------------------------------------------- ================================================================================ kexec-tools-2.0.13-7.fc25.1 (FEDORA-2016-3d7692aeec) The kexec/kdump userspace component -------------------------------------------------------------------------------- Update Information: Previously we added kaslr support to kdump, but we missed an upstream commit in kexec-tools. The page_offset value in /proc/vmcore is wrong without the commit though kdump still works fine. This update added the missing commit. -------------------------------------------------------------------------------- ================================================================================ libinput-1.5.1-1.fc25 (FEDORA-2016-4d378d4f01) Input device library -------------------------------------------------------------------------------- Update Information: libinput 1.5.1 ---- Drop the synaptics 3-slot workaround, obsolete with current kernels -------------------------------------------------------------------------------- ================================================================================ libmediainfo-0.7.90-1.fc25 (FEDORA-2016-a102331222) Library for supplies technical and tag information about a video or audio file -------------------------------------------------------------------------------- Update Information: Update to 0.7.90. -------------------------------------------------------------------------------- ================================================================================ libreoffice-5.2.3.3-6.fc25 (FEDORA-2016-0438bf95e5) Free Software Productivity Suite -------------------------------------------------------------------------------- Update Information: * LibreOffice's floating toolbars under wayland cannot be docked by dragging, so disable and disallow floating toolbars under wayland. ---- * ensure checkForUniqueItem on inserting a new slide so some inserted slides don't lose backgrounds on save * under wayland fix glitch on selecting a slide after a popover is shown -------------------------------------------------------------------------------- References: [ 1 ] Bug #1391418 - toolbars can't be easily docked after undocking on wayland https://bugzilla.redhat.com/show_bug.cgi?id=1391418 [ 2 ] Bug #1342828 - [X11 on Wayland] LibreOffice Toolbars are jumping around while being moved https://bugzilla.redhat.com/show_bug.cgi?id=1342828 [ 3 ] Bug #1374289 - switching between slides is glitchy in impress under wayland https://bugzilla.redhat.com/show_bug.cgi?id=1374289 -------------------------------------------------------------------------------- ================================================================================ libsolv-0.6.24-1.fc25 (FEDORA-2016-3f8b3994e4) Package dependency solver -------------------------------------------------------------------------------- Update Information: Update to 0.6.24 -------------------------------------------------------------------------------- References: [ 1 ] Bug #1389884 - Typo mistake in spec file: MULTI_SYMANTICS instead of MULTI_SEMANTICS https://bugzilla.redhat.com/show_bug.cgi?id=1389884 -------------------------------------------------------------------------------- ================================================================================ libwacom-0.22-2.fc25 (FEDORA-2016-62115cd1cb) Tablet Information Client Library -------------------------------------------------------------------------------- Update Information: Add Lenovo X1 Yoga data file (#1389849) -------------------------------------------------------------------------------- References: [ 1 ] Bug #1389849 - tablet config file for ThinkPad X1 Yoga https://bugzilla.redhat.com/show_bug.cgi?id=1389849 -------------------------------------------------------------------------------- ================================================================================ libzrtpcpp-4.6.4-1.fc25 (FEDORA-2016-7699d77ab0) ZRTP support library for the GNU ccRTP stack -------------------------------------------------------------------------------- Update Information: Update to 4.6.4, see https://github.com/wernerd/ZRTPCPP/blob/master/NEWS.md for details. -------------------------------------------------------------------------------- ================================================================================ mediainfo-0.7.90-1.fc25 (FEDORA-2016-a102331222) Supplies technical and tag information about a video or audio file (CLI) -------------------------------------------------------------------------------- Update Information: Update to 0.7.90. -------------------------------------------------------------------------------- ================================================================================ mediawriter-4.0.4-0.fc25 (FEDORA-2016-239cdfbfd6) Fedora Media Writer -------------------------------------------------------------------------------- Update Information: Update to 4.0.4 -------------------------------------------------------------------------------- References: [ 1 ] Bug #1377825 - macOS, hang on launch https://bugzilla.redhat.com/show_bug.cgi?id=1377825 [ 2 ] Bug #1379089 - MediaWriter freezes the system in some cases https://bugzilla.redhat.com/show_bug.cgi?id=1379089 [ 3 ] Bug #1391294 - mediawriter-4.0.4 is available https://bugzilla.redhat.com/show_bug.cgi?id=1391294 [ 4 ] Bug #1378152 - Fedora Media Writer don't work with proxy on linux (socket error) https://bugzilla.redhat.com/show_bug.cgi?id=1378152 [ 5 ] Bug #1390975 - mediawriter leaks memory during image download https://bugzilla.redhat.com/show_bug.cgi?id=1390975 [ 6 ] Bug #1391047 - [abrt] mediawriter: QCoreApplication::postEvent(QObject*, QEvent*, int)(): mediawriter killed by SIGSEGV https://bugzilla.redhat.com/show_bug.cgi?id=1391047 [ 7 ] Bug #1391067 - mediawriter window is heavily cropped on certain displays (due to QT scaling) https://bugzilla.redhat.com/show_bug.cgi?id=1391067 [ 8 ] Bug #1391183 - [abrt] mediawriter: pushbuf_kref(): mediawriter killed by SIGSEGV https://bugzilla.redhat.com/show_bug.cgi?id=1391183 [ 9 ] Bug #1391825 - [abrt] mediawriter: Download::bytesDownloaded(): mediawriter killed by SIGSEGV https://bugzilla.redhat.com/show_bug.cgi?id=1391825 [ 10 ] Bug #1391832 - "restore" ends up with an error popup https://bugzilla.redhat.com/show_bug.cgi?id=1391832 [ 11 ] Bug #1391858 - Mediawriter shows "Ready to write" even though the length of downloaded file is zero https://bugzilla.redhat.com/show_bug.cgi?id=1391858 [ 12 ] Bug #1391868 - the default size of the newly mediawriter is a little too large https://bugzilla.redhat.com/show_bug.cgi?id=1391868 [ 13 ] Bug #1379158 - Media Writer couldn't create Live USB https://bugzilla.redhat.com/show_bug.cgi?id=1379158 [ 14 ] Bug #1380859 - Should obsolete liveusb-creator https://bugzilla.redhat.com/show_bug.cgi?id=1380859 [ 15 ] Bug #1383537 - company name not specified, may cause namespace conflict https://bugzilla.redhat.com/show_bug.cgi?id=1383537 [ 16 ] Bug #1385849 - Missing panel icon on Xfce https://bugzilla.redhat.com/show_bug.cgi?id=1385849 [ 17 ] Bug #1390178 - mediawriter-4.0.0 is available https://bugzilla.redhat.com/show_bug.cgi?id=1390178 -------------------------------------------------------------------------------- ================================================================================ mingw-mediawriter-4.0.4-0.fc25 (FEDORA-2016-2aca63c37d) Fedora Media Writer -------------------------------------------------------------------------------- Update Information: Update to 4.0.4 ---- Update to 4.0.0 ---- Update to 3.97.2 ---- Update to 3.97.1 ---- Update to 3.97.0 ---- Update to 3.96.0 -------------------------------------------------------------------------------- ================================================================================ openms-2.1.0-0.1.fc25 (FEDORA-2016-2f54b5323c) LC/MS data management and analyses -------------------------------------------------------------------------------- Update Information: - Update to 2.1.0 (pre-release) - Patched to fix PyOpenMS - Python bindings disabled (upstream issue #2286) -------------------------------------------------------------------------------- ================================================================================ python-cryptography-1.5.3-3.fc25 (FEDORA-2016-2d90e27e50) PyCA's cryptography library -------------------------------------------------------------------------------- Update Information: Rebase to 1.5.3 to fix CVE-2016-9243 -------------------------------------------------------------------------------- References: [ 1 ] Bug #1393432 - CVE-2016-9243 python-cryptography: HKDF might return an empty byte-string [fedora-all] https://bugzilla.redhat.com/show_bug.cgi?id=1393432 [ 2 ] Bug #1361916 - python-cryptography - Missing python2-subpackage https://bugzilla.redhat.com/show_bug.cgi?id=1361916 [ 3 ] Bug #1279263 - python-cryptography-vectors needs upgrade for the security bug https://bugzilla.redhat.com/show_bug.cgi?id=1279263 -------------------------------------------------------------------------------- ================================================================================ python-cryptography-vectors-1.5.3-1.fc25 (FEDORA-2016-2d90e27e50) Test vectors for the cryptography package -------------------------------------------------------------------------------- Update Information: Rebase to 1.5.3 to fix CVE-2016-9243 -------------------------------------------------------------------------------- References: [ 1 ] Bug #1393432 - CVE-2016-9243 python-cryptography: HKDF might return an empty byte-string [fedora-all] https://bugzilla.redhat.com/show_bug.cgi?id=1393432 [ 2 ] Bug #1361916 - python-cryptography - Missing python2-subpackage https://bugzilla.redhat.com/show_bug.cgi?id=1361916 [ 3 ] Bug #1279263 - python-cryptography-vectors needs upgrade for the security bug https://bugzilla.redhat.com/show_bug.cgi?id=1279263 -------------------------------------------------------------------------------- ================================================================================ python-moksha-hub-1.4.8-1.fc25 (FEDORA-2016-218bc2ff13) Hub components for Moksha -------------------------------------------------------------------------------- Update Information: Disabled STOMP consumers no longer erroneously receive messages. -------------------------------------------------------------------------------- ================================================================================ python-peewee-2.8.2-3.fc25 (FEDORA-2016-6dcb292b57) A small, expressive orm -------------------------------------------------------------------------------- Update Information: Make pskel script install under usr/bin/ -------------------------------------------------------------------------------- ================================================================================ rpm-4.13.0-4.fc25 (FEDORA-2016-9f4e63509f) The RPM package management system -------------------------------------------------------------------------------- Update Information: This update rebases RPM to the official 4.13.0 release: http://rpm.org/wiki/Releases/4.13.0 -------------------------------------------------------------------------------- ================================================================================ z3-4.5.0-1.fc25 (FEDORA-2016-1a2578db51) Satisfiability Modulo Theories (SMT) solver -------------------------------------------------------------------------------- Update Information: Changes in version 4.5.0: - New features: - New theories of strings and sequences. - Incremental consequence finder for finite domains. - CMake build system (thanks @delcypher). - Updated and improved OCaml API (thanks @martin-neuhaeusser). - Updated and improved Java API (thanks @cheshire). - New resource limit facilities to avoid non-deterministic timeout behaviour. - New bit-vector simplification and ackermannization tactics (thanks @MikolasJanota, @nunoplopes). - QSAT: a new solver for quantified arithmetic problems. See: Bjorner, Janota: Playing with Quantified Satisfaction, LPAR 2016. - A multitude of bugs has been fixed. -------------------------------------------------------------------------------- _______________________________________________ test mailing list -- test@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to test-leave@xxxxxxxxxxxxxxxxxxxxxxx
