From 7ccc3827eb5becf1b5d7a75e4ffade66eb23de9d6569845accc4419ce9f82b32 Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Fri, 28 Mar 2025 07:54:01 +0100 Subject: [PATCH] update to 4.14.1 --- z3-4.13.3.tar.gz | 3 --- z3-4.14.1.tar.gz | 3 +++ z3.changes | 16 ++++++++++++++++ z3.spec | 4 ++-- 4 files changed, 21 insertions(+), 5 deletions(-) delete mode 100644 z3-4.13.3.tar.gz create mode 100644 z3-4.14.1.tar.gz diff --git a/z3-4.13.3.tar.gz b/z3-4.13.3.tar.gz deleted file mode 100644 index 314d44e..0000000 --- a/z3-4.13.3.tar.gz +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:f59c9cf600ea57fb64ffeffbffd0f2d2b896854f339e846f48f069d23bc14ba0 -size 5583533 diff --git a/z3-4.14.1.tar.gz b/z3-4.14.1.tar.gz new file mode 100644 index 0000000..dabc90f --- /dev/null +++ b/z3-4.14.1.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:81a02c2c64c64d6c3df233f59186b95627990ada0c4c2fc901c9c25a7072672a +size 5844214 diff --git a/z3.changes b/z3.changes index 2b9b4f9..80dd15f 100644 --- a/z3.changes +++ b/z3.changes @@ -1,3 +1,19 @@ +------------------------------------------------------------------- +Fri Mar 28 09:24:36 UTC 2025 - Jiri Slaby + +- 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 + ------------------------------------------------------------------- Mon Oct 14 09:42:25 UTC 2024 - Jiri Slaby diff --git a/z3.spec b/z3.spec index 13e9f51..f7073ee 100644 --- a/z3.spec +++ b/z3.spec @@ -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 -- 2.51.1