From ec502342c66c994e657bc84043250eed3cb32e9d Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 18 Oct 2024 00:53:01 +0000
Subject: [PATCH 1/3] deps/k_release: Set Version 7.1.163

---
 deps/k_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/k_release b/deps/k_release
index c992e0c0e5..abf92f03d7 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.159
+7.1.163

From 1805fd665f3e06ec0bdf9c9f1d4b19692cb5c22f Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 18 Oct 2024 00:54:31 +0000
Subject: [PATCH 2/3] kevm-pyk/: sync poetry files pyk version 7.1.163

---
 kevm-pyk/poetry.lock    | 8 ++++----
 kevm-pyk/pyproject.toml | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock
index 126f86b268..2d31cd9b59 100644
--- a/kevm-pyk/poetry.lock
+++ b/kevm-pyk/poetry.lock
@@ -495,13 +495,13 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.159"
+version = "7.1.163"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.159-py3-none-any.whl", hash = "sha256:4441c9cfe5a02b20518eb976d7405f806022258e5023b4eb78b571912b0e5661"},
-    {file = "kframework-7.1.159.tar.gz", hash = "sha256:8b34b00093a84b33d17123c9d58613d770936c78721bf8d56a3c329f89837968"},
+    {file = "kframework-7.1.163-py3-none-any.whl", hash = "sha256:811990c7bb1421928b2d823f38c652ae13c6e2618acd7de887d31c1da335011b"},
+    {file = "kframework-7.1.163.tar.gz", hash = "sha256:5ddf3d3041505eae2aaafeca75371d56cef4add54ad441e32aa5e49de9114d12"},
 ]
 
 [package.dependencies]
@@ -1195,4 +1195,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "4e63a0c46e3a8419c59c3c49a345fca4dd4389af9f671103b4c77dbe97f77b1e"
+content-hash = "c1ee12c1c59bbde777325841ffc337a34b7c0aac95e09d9763677067282e335a"
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index b4d17b19b0..5ef7ec0f92 100644
--- a/kevm-pyk/pyproject.toml
+++ b/kevm-pyk/pyproject.toml
@@ -13,7 +13,7 @@ authors = [
 [tool.poetry.dependencies]
 python = "^3.10"
 pathos = "*"
-kframework = "7.1.159"
+kframework = "7.1.163"
 tomlkit = "^0.11.6"
 
 [tool.poetry.group.dev.dependencies]

From 493562083243419f2f8cf5164c87c539c2d722c4 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 18 Oct 2024 00:55:00 +0000
Subject: [PATCH 3/3] flake.{nix,lock}: update Nix derivations

---
 flake.lock | 16 ++++++++--------
 flake.nix  |  2 +-
 2 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/flake.lock b/flake.lock
index ecbca404d1..08b903f2ed 100644
--- a/flake.lock
+++ b/flake.lock
@@ -243,16 +243,16 @@
         "z3": "z3_2"
       },
       "locked": {
-        "lastModified": 1724225719,
-        "narHash": "sha256-gR5GDTXdHksn773+pKqvdGaXvBMtVLujFURrEQClfJw=",
+        "lastModified": 1729168859,
+        "narHash": "sha256-S9Vx0p6kDorS9NwnZb+QOTGpMKXwGlchCiiow881nTs=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "ae2da4aa2abc7a1cf64bc97119cc0a60ee4f8615",
+        "rev": "712543ed61f5ca4365b84d0f7ef6d71a35349662",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.76",
+        "ref": "v0.1.90",
         "repo": "haskell-backend",
         "type": "github"
       }
@@ -352,16 +352,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1729113963,
-        "narHash": "sha256-nDC7Cqxkku4T/RoQCfT/5whgnvu9rrJcKfLzwcI2FL8=",
+        "lastModified": 1729209879,
+        "narHash": "sha256-6kDVw8CTZWJf8iHeWGO95/PZYJiQ85UtmqsN43oZ/JI=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "e45430be18fbd750e09c4fbf164ea833c3b6b7da",
+        "rev": "bf646f946cebf36aa77f2eec4dd695cc1d99823e",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.159",
+        "ref": "v7.1.163",
         "repo": "k",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 4f4d0c8dc5..8d2e602ccd 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
   description = "A flake for the KEVM Semantics";
 
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.159";
+    k-framework.url = "github:runtimeverification/k/v7.1.163";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";