From fe78b5c1258f1fb421d18bc3da595d17040b2a7b Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Sat, 11 Apr 2026 19:42:27 +0000 Subject: [PATCH 1/2] chore(deps): bump org.sosy-lab:javasmt-solver-z3 in /java Bumps [org.sosy-lab:javasmt-solver-z3](https://github.com/sosy-lab/java-smt) from 4.15.4 to 4.16.0. - [Release notes](https://github.com/sosy-lab/java-smt/releases) - [Changelog](https://github.com/sosy-lab/java-smt/blob/master/CHANGELOG.md) - [Commits](https://github.com/sosy-lab/java-smt/commits) --- updated-dependencies: - dependency-name: org.sosy-lab:javasmt-solver-z3 dependency-version: 4.16.0 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] --- java/libfindchars-compiler/pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/java/libfindchars-compiler/pom.xml b/java/libfindchars-compiler/pom.xml index 983e965..36142cb 100644 --- a/java/libfindchars-compiler/pom.xml +++ b/java/libfindchars-compiler/pom.xml @@ -41,7 +41,7 @@ org.sosy-lab javasmt-solver-z3 - 4.15.4 + 4.16.0 \ No newline at end of file From 1401f5d5e525770a62182d52c6ed7b72d93f42a4 Mon Sep 17 00:00:00 2001 From: Dennis Berger Date: Fri, 15 May 2026 11:36:44 +0200 Subject: [PATCH 2/2] ci: bump Z3 native libs to 4.16.0 to match javasmt-solver-z3 dep --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 20d0f62..81f8078 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -28,7 +28,7 @@ jobs: distribution: 'temurin' - name: Download Z3 native libraries run: | - Z3_VERSION=4.15.4 + Z3_VERSION=4.16.0 BASE_URL="https://repo.maven.apache.org/maven2/org/sosy-lab/javasmt-solver-z3/${Z3_VERSION}" mkdir -p native curl -sL "${BASE_URL}/javasmt-solver-z3-${Z3_VERSION}-libz3-x64.so" -o native/libz3.so