From 1acd2da2af08448c24e135a20732d37b5950e429 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 14 Aug 2024 04:18:04 +0000 Subject: [PATCH 1/2] deps/z3_version: Set Version 4.13.0 --- deps/z3_version | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/z3_version b/deps/z3_version index 53cf85e17..813b83b65 100644 --- a/deps/z3_version +++ b/deps/z3_version @@ -1 +1 @@ -4.12.1 +4.13.0 From 1d3a968a0a36856cdda9bc5f97c0c627cfe42a74 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 6 Jan 2025 19:46:55 +0000 Subject: [PATCH 2/2] deps/z3_version: Set Version 4.13.4 --- deps/z3_version | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/z3_version b/deps/z3_version index 813b83b65..32d3e23b4 100644 --- a/deps/z3_version +++ b/deps/z3_version @@ -1 +1 @@ -4.13.0 +4.13.4