Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package z3 for openSUSE:Factory checked in at 2023-06-16 16:54:04 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.15902 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Fri Jun 16 16:54:04 2023 rev:38 rq:1093226 version:4.12.2 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2023-01-23 18:32:10.500147969 +0100 +++ /work/SRC/openSUSE:Factory/.z3.new.15902/z3.changes 2023-06-16 16:54:55.477735169 +0200 @@ -1,0 +2,15 @@ +Thu Jun 15 07:18:34 UTC 2023 - Jiri Slaby <[email protected]> + +- update to 4.12.2 + * remove MSF (Microsoft Solver Foundation) plugin. + * updated propagate-ineqs tactic and implementing it as a simplifier, + bound_simplifier. + * add API function Z3_mk_real_int64 to take two int64 as arguments. The + Z3_mk_real function takes integers. + * Add _simplifiers_ as optional incremental pre-processing to solvers. + * Optimize added to JS API. + * SMTLIB2 proposal for bit-vector overflow predicates added. + * bug fixes. +- add 0001-Fix-building-with-gcc-13-6723.patch + +------------------------------------------------------------------- Old: ---- z3-4.12.1.tar.gz New: ---- 0001-Fix-building-with-gcc-13-6723.patch z3-4.12.2.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.Dfmq15/_old 2023-06-16 16:54:56.169739284 +0200 +++ /var/tmp/diff_new_pack.Dfmq15/_new 2023-06-16 16:54:56.173739308 +0200 @@ -18,13 +18,14 @@ %define sover 4_12 Name: z3 -Version: 4.12.1 +Version: 4.12.2 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: 0001-Fix-building-with-gcc-13-6723.patch BuildRequires: cmake BuildRequires: gcc-c++ >= 6.0 BuildRequires: gmp-devel @@ -67,7 +68,7 @@ Python bindings for the Z3 library. %prep -%setup -q -n %{name}-%{name}-%{version} +%autosetup -p1 -n %{name}-%{name}-%{version} %build %define __builder ninja ++++++ 0001-Fix-building-with-gcc-13-6723.patch ++++++ From: =?UTF-8?q?Tomasz=20K=C5=82oczko?= <[email protected]> Date: Sat, 13 May 2023 17:37:35 +0100 Subject: Fix building with gcc 13 (#6723) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Patch-mainline: yes Git-commit: 520e692a43c41e8981eb091494bef0297ecbe3c6 References: build fix Trivial fix to build with gcc 13 reported in #6722. Signed-off-by: Tomasz KÅoczko <[email protected]> Signed-off-by: Jiri Slaby <[email protected]> --- src/util/tptr.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/util/tptr.h b/src/util/tptr.h index 6213b2ef..2a35af53 100644 --- a/src/util/tptr.h +++ b/src/util/tptr.h @@ -20,6 +20,7 @@ Revision History: #pragma once #include "util/machine.h" +#include <cstdint> #define TAG_SHIFT PTR_ALIGNMENT #define ALIGNMENT_VALUE (1 << PTR_ALIGNMENT) -- 2.35.3 ++++++ z3-4.12.1.tar.gz -> z3-4.12.2.tar.gz ++++++ ++++ 58133 lines of diff (skipped)
