From 89b42ddbcaa050228c13a27edaffd68e5ce04402 Mon Sep 17 00:00:00 2001
From: Bruce Collie <brucecollie82@gmail.com>
Date: Tue, 11 Jul 2023 11:03:29 +0100
Subject: [PATCH] Bump Z3 version (#3551)

Related to
https://github.com/runtimeverification/evm-semantics/issues/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 <jost.berthold@gmail.com>
Co-authored-by: Georgy Lukyanov <mail@geo2a.info>
---
 flake.lock | 8 ++++----
 flake.nix  | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/flake.lock b/flake.lock
index 155f444f76..30e15bb32d 100644
--- a/flake.lock
+++ b/flake.lock
@@ -527,16 +527,16 @@
     "z3-src": {
       "flake": false,
       "locked": {
-        "lastModified": 1647807944,
-        "narHash": "sha256-hXlwaLsrMKm0rPAhRtynCjdhkeXIYzfNcjS04sHHfHY=",
+        "lastModified": 1674011426,
+        "narHash": "sha256-7cuUf29TMpX62PwO1ab3ZuzmzlcrRjTKB1CyXnYgYus=",
         "owner": "Z3Prover",
         "repo": "z3",
-        "rev": "f1806d32d6f21fd4df7a08719abbc1f6493d9dc5",
+        "rev": "3012293c35eadbfd73e5b94adbe50b0cc44ffb83",
         "type": "github"
       },
       "original": {
         "owner": "Z3Prover",
-        "ref": "z3-4.8.15",
+        "ref": "z3-4.12.1",
         "repo": "z3",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 44fcea8015..0fbba4e20d 100644
--- 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 = {