Hello community, here is the log from the commit of package z3 for openSUSE:Factory checked in at 2020-09-17 15:02:02 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.4249 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Thu Sep 17 15:02:02 2020 rev:24 rq:835112 version:4.8.9 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2020-07-18 21:03:08.499620428 +0200 +++ /work/SRC/openSUSE:Factory/.z3.new.4249/z3.changes 2020-09-17 15:08:34.452922708 +0200 @@ -1,0 +2,15 @@ +Thu Sep 17 06:36:45 UTC 2020 - Dirk Mueller <[email protected]> + +- update to 4.8.9: + significant improvements to regular expression solving expose user theory + plugin. It is a leaner user theory plugin that was once available. + It allows for registering callbacks that react to when bit-vector and Boolean variables + receive fixed values. + - many + - the new arithmetic theory is turned on by default. It _does_ introduce + regressions on several scenarios, but has its own advantages. Users can + turn on the old solver by setting smt.arith.solver=2. + Depending on feedback, we may turn toggle this default setting again back to smt.arith.solver=2. +- remove remove-timestamp.patch, 5a42a000e938a295feb1a7070dd74b192796db4e.patch (upstream) + +------------------------------------------------------------------- Old: ---- 5a42a000e938a295feb1a7070dd74b192796db4e.patch remove-timestamp.patch z3-4.8.8.tar.gz New: ---- z3-4.8.9.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.GSVtyz/_old 2020-09-17 15:08:35.112923335 +0200 +++ /var/tmp/diff_new_pack.GSVtyz/_new 2020-09-17 15:08:35.116923339 +0200 @@ -18,17 +18,13 @@ %define sover 4_8 Name: z3 -Version: 4.8.8 +Version: 4.8.9 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT Group: Productivity/Scientific/Other URL: https://github.com/Z3Prover/z3/wiki Source0: https://github.com/Z3Prover/z3/archive/z3-%{version}.tar.gz -Patch0: remove-timestamp.patch -# Remove after upstream bump, add PKG-CONFIG .pc file -# https://github.com/Z3Prover/z3/pull/4368 -Patch1: 5a42a000e938a295feb1a7070dd74b192796db4e.patch BuildRequires: cmake BuildRequires: gcc-c++ BuildRequires: gmp-devel @@ -71,8 +67,6 @@ %prep %setup -q -n %{name}-%{name}-%{version} -%patch0 -p1 -%patch1 -p1 %build %define __builder ninja ++++++ z3-4.8.8.tar.gz -> z3-4.8.9.tar.gz ++++++ ++++ 91529 lines of diff (skipped)
