Bump Z3 version (#3551)

Related to runtimeverification/evm-semantics#1499, I'm going through the K tools and semantics checking whether upgrading the supported Z3 version we require is going to break anything. --------- Co-authored-by: Jost Berthold <[email protected]> Co-authored-by: Georgy Lukyanov <[email protected]>
runtimeverification · Jul 11, 2023 · 89b42dd · 89b42dd
1 parent b44422b
commit 89b42dd
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -4,7 +4,7 @@
     haskell-nix.url = "github:input-output-hk/haskell.nix";
     nixpkgs.follows = "haskell-nix/nixpkgs-unstable";
     z3-src = {
-      url = "github:Z3Prover/z3/z3-4.8.15";
+      url = "github:Z3Prover/z3/z3-4.12.1";
       flake = false;
     };
     flake-compat = {