Hello community, here is the log from the commit of package z3 for openSUSE:Factory checked in at 2019-10-18 14:36:18 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.2352 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Fri Oct 18 14:36:18 2019 rev:18 rq:739089 version:4.8.6+git.20191009 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2019-09-25 08:32:09.994354068 +0200 +++ /work/SRC/openSUSE:Factory/.z3.new.2352/z3.changes 2019-10-18 14:36:21.435782515 +0200 @@ -1,0 +2,14 @@ +Thu Oct 10 08:15:48 UTC 2019 - [email protected] + +- Update to version 4.8.6+git.20191009: + * fix assert-and-track semantics for smt2 logging + * remove separate API for setting solver log, use parameter setting instead + * make smt2 log scope aware + * remove a few str copies when throwing exceptions + * adding SMT2 log file for solver interaction #867 + * bit-vector overflow/underflow operators exposed over C++ API + * use Z3_char_ptr + * expose mk_divides over API. Corresponds to a = b (mod m), #723 + * and many more... + +------------------------------------------------------------------- Old: ---- z3-4.8.4+git.20190224.tar.xz New: ---- z3-4.8.6+git.20191009.tar.xz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.CWvNyC/_old 2019-10-18 14:36:22.319780213 +0200 +++ /var/tmp/diff_new_pack.CWvNyC/_new 2019-10-18 14:36:22.323780203 +0200 @@ -16,10 +16,10 @@ # -%define version_unconverted 4.8.4+git.20190224 +%define version_unconverted 4.8.6+git.20191009 %define sover 4_8 Name: z3 -Version: 4.8.4+git.20190224 +Version: 4.8.6+git.20191009 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT @@ -107,6 +107,7 @@ %{_libdir}/libz3.so %dir %{_libdir}/cmake/z3/ %{_libdir}/cmake/z3/Z3Config.cmake +%{_libdir}/cmake/z3/Z3ConfigVersion.cmake %{_libdir}/cmake/z3/Z3Targets* %files -n python3-%{name} ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.CWvNyC/_old 2019-10-18 14:36:22.363780099 +0200 +++ /var/tmp/diff_new_pack.CWvNyC/_new 2019-10-18 14:36:22.363780099 +0200 @@ -1,4 +1,4 @@ <servicedata> <service name="tar_scm"> <param name="url">git://github.com/Z3Prover/z3.git</param> - <param name="changesrevision">6ef3e5e3638fa5a3ba87bf3bc46f5eab81fbabfd</param></service></servicedata> \ No newline at end of file + <param name="changesrevision">ecba7b3cde4c1125ac1db63b7b7d63b299051b4a</param></service></servicedata> \ No newline at end of file ++++++ remove-timestamp.patch ++++++ --- /var/tmp/diff_new_pack.CWvNyC/_old 2019-10-18 14:36:22.371780078 +0200 +++ /var/tmp/diff_new_pack.CWvNyC/_new 2019-10-18 14:36:22.371780078 +0200 @@ -1,23 +1,27 @@ +From 22ff49d575f0e11dfb2b251ae68f5cf8bdd2c069 Mon Sep 17 00:00:00 2001 From: Jiri Slaby <[email protected]> -Subject: Remove timestamp +Date: Thu, 10 Oct 2019 10:19:23 +0200 +Subject: [PATCH] Remove timestamp Nobody wants timestamps, it's bogus as it causes irreproducible builds. Remove that crap from api_log. - --- - src/api/api_log.cpp | 2 +- + src/api/api_log.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) -Index: z3-4.8.3+git.20181121/src/api/api_log.cpp -=================================================================== ---- z3-4.8.3+git.20181121.orig/src/api/api_log.cpp -+++ z3-4.8.3+git.20181121/src/api/api_log.cpp -@@ -49,7 +49,7 @@ extern "C" { - res = false; - } - else { -- *g_z3_log << "V \"" << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << "." << Z3_BUILD_NUMBER << "." << Z3_REVISION_NUMBER << " " << __DATE__ << "\"\n"; -+ *g_z3_log << "V \"" << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << "." << Z3_BUILD_NUMBER << "." << Z3_REVISION_NUMBER << "\"\n"; - g_z3_log->flush(); - g_z3_log_enabled = true; - } +diff --git a/src/api/api_log.cpp b/src/api/api_log.cpp +index e82ec3fd1..1efa09b95 100644 +--- a/src/api/api_log.cpp ++++ b/src/api/api_log.cpp +@@ -54,7 +54,7 @@ extern "C" { + res = false; + } + else { +- *g_z3_log << "V \"" << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << "." << Z3_BUILD_NUMBER << "." << Z3_REVISION_NUMBER << " " << __DATE__ << "\"\n"; ++ *g_z3_log << "V \"" << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << "." << Z3_BUILD_NUMBER << "." << Z3_REVISION_NUMBER << "\"\n"; + g_z3_log->flush(); + g_z3_log_enabled = true; + } +-- +2.21.0 + ++++++ z3-4.8.4+git.20190224.tar.xz -> z3-4.8.6+git.20191009.tar.xz ++++++ ++++ 64241 lines of diff (skipped)
