Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package z3 for openSUSE:Factory checked in at 2022-08-29 09:43:03 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.2083 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Mon Aug 29 09:43:03 2022 rev:34 rq:999781 version:4.11.0 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2022-08-04 13:24:18.308641933 +0200 +++ /work/SRC/openSUSE:Factory/.z3.new.2083/z3.changes 2022-08-29 09:43:15.547839982 +0200 @@ -1,0 +2,17 @@ +Sun Aug 28 12:09:42 UTC 2022 - Matthias Eliasson <eli...@opensuse.org> + +- update to 4.11.0: + * remove Z3_bool, Z3_TRUE, Z3_FALSE from the API. Use bool, true, false instead. + * z3++.h no longer includes <sstream> as it did not use it. + * add solver.axioms2files + - prints negated theory axioms to files. Each file should be unsat + * add solver.lemmas2console + - prints lemmas to the console. + * remove option smt.arith.dump_lemmas. It is replaced by solver.axioms2files + * add option smt.bv.reduce_size. + - it allows to apply incremental pre-processing of bit-vectors by identifying ranges that are known to be constant. + This rewrite is beneficial, for instance, when bit-vectors are constrained to have many high-level bits set to 0. + * add feature to model-based projection for arithmetic to handle integer division. + * add fromString method to JavaScript solver object. + +------------------------------------------------------------------- Old: ---- z3-4.10.2.tar.gz New: ---- z3-4.11.0.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.z14d0Z/_old 2022-08-29 09:43:16.023841112 +0200 +++ /var/tmp/diff_new_pack.z14d0Z/_new 2022-08-29 09:43:16.027841122 +0200 @@ -16,9 +16,9 @@ # -%define sover 4_10 +%define sover 4_11 Name: z3 -Version: 4.10.2 +Version: 4.11.0 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT ++++++ z3-4.10.2.tar.gz -> z3-4.11.0.tar.gz ++++++ ++++ 18759 lines of diff (skipped)
