Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package z3 for openSUSE:Factory checked in at 2025-04-02 17:13:35 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.1907 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Wed Apr 2 17:13:35 2025 rev:43 rq:1266082 version:4.14.1 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2024-10-30 17:40:18.323010020 +0100 +++ /work/SRC/openSUSE:Factory/.z3.new.1907/z3.changes 2025-04-02 17:14:53.249185064 +0200 @@ -1,0 +2,16 @@ +Fri Mar 28 09:24:36 UTC 2025 - Jiri Slaby <jsl...@suse.cz> + +- update to 4.14.1 + * Add ubv_to_int, sbv_to_int, int_to_bv to SMTLIB2 API. + * Fix nuget package regression omitting Microsoft.Z3.* files + * SLS modulo theories engine v1 release. + * API for accessing term depth and groundness. + * Two fixes to relevancy propagation. + * A new API for solving LRA variables modulo constraints. + * Performance and bug fixes. + * several updates to emscripten including #7473 + * add preliminary pyodie build + * address issues with Java bindings + * Include start of sls-smt functionality SLS modulo theories + +------------------------------------------------------------------- Old: ---- z3-4.13.3.tar.gz New: ---- _scmsync.obsinfo build.specials.obscpio z3-4.14.1.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.6vjnJB/_old 2025-04-02 17:14:54.813250675 +0200 +++ /var/tmp/diff_new_pack.6vjnJB/_new 2025-04-02 17:14:54.829251346 +0200 @@ -16,9 +16,9 @@ # -%define sover 4_13 +%define sover 4_14 Name: z3 -Version: 4.13.3 +Version: 4.14.1 Release: 0 Summary: Theorem prover from Microsoft Research License: MIT ++++++ _scmsync.obsinfo ++++++ mtime: 1743503679 commit: 7ccc3827eb5becf1b5d7a75e4ffade66eb23de9d6569845accc4419ce9f82b32 url: https://src.opensuse.org/jirislaby/d-t-s-z3.git revision: factory ++++++ z3-4.13.3.tar.gz -> z3-4.14.1.tar.gz ++++++ ++++ 70066 lines of diff (skipped)
