diff --git a/deps/k_release b/deps/k_release
index 950e32997d..c992e0c0e5 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.158
+7.1.159
diff --git a/flake.lock b/flake.lock
index 8a675437fc..ecbca404d1 100644
--- a/flake.lock
+++ b/flake.lock
@@ -352,16 +352,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1728689110,
-        "narHash": "sha256-gWIEg5FrKRDBcQbZ/DXjg3kHtUqH0ljTl8vV4x3LABA=",
+        "lastModified": 1729113963,
+        "narHash": "sha256-nDC7Cqxkku4T/RoQCfT/5whgnvu9rrJcKfLzwcI2FL8=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "bd34ca161369a5e1731c61074ed04607c8cc5bad",
+        "rev": "e45430be18fbd750e09c4fbf164ea833c3b6b7da",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.158",
+        "ref": "v7.1.159",
         "repo": "k",
         "type": "github"
       }
@@ -432,16 +432,16 @@
         "utils": "utils_2"
       },
       "locked": {
-        "lastModified": 1728677554,
-        "narHash": "sha256-9+xXyy2Pbw04RBOTgYcNv/ilNcUMwH3E12WtNNL0Ey0=",
+        "lastModified": 1729095682,
+        "narHash": "sha256-+mUxQhIwzIfBFIfnCjlbp06uWDYVbxq78FEQAgAB40E=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "3db6947cb1c97a97bdcaf2ee990dbd18b7f251e7",
+        "rev": "84a419e02b1e378df4f012d8975c0e4f16f71783",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.99",
+        "ref": "v0.1.100",
         "repo": "llvm-backend",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 45b1d88a5e..4f4d0c8dc5 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.158";
+    k-framework.url = "github:runtimeverification/k/v7.1.159";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";
diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock
index 8c884c1f9e..126f86b268 100644
--- a/kevm-pyk/poetry.lock
+++ b/kevm-pyk/poetry.lock
@@ -400,13 +400,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve
 
 [[package]]
 name = "hypothesis"
-version = "6.115.2"
+version = "6.115.3"
 description = "A library for property-based testing"
 optional = false
 python-versions = ">=3.9"
 files = [
-    {file = "hypothesis-6.115.2-py3-none-any.whl", hash = "sha256:d0ccbd67f588a6abcdc17a4f06fea3b2bc0a166ecd89126fb90985036c1940fe"},
-    {file = "hypothesis-6.115.2.tar.gz", hash = "sha256:6df95ea6cccf950f80e142f43a684d1462e26c5e28ba29ab4eceb8399e207e0b"},
+    {file = "hypothesis-6.115.3-py3-none-any.whl", hash = "sha256:d2770b0db08ad666fe6ff36027910039ab681084d13bcf9c057449c2e27099c4"},
+    {file = "hypothesis-6.115.3.tar.gz", hash = "sha256:d4efc8c7371bd4ec906d2777f1f18fee5539e47b3d7c7cdc93d1026ad35d9b33"},
 ]
 
 [package.dependencies]
@@ -495,13 +495,13 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.158"
+version = "7.1.159"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.158-py3-none-any.whl", hash = "sha256:2a3fafdfb8e39a1e6a6fe1f766069dc226cf3b51a57fbcf45a13e4e19bd5598a"},
-    {file = "kframework-7.1.158.tar.gz", hash = "sha256:17d5ee9f3095b123888c64b09694ef5fc863d6c7f6c46c934473c104e1a366ea"},
+    {file = "kframework-7.1.159-py3-none-any.whl", hash = "sha256:4441c9cfe5a02b20518eb976d7405f806022258e5023b4eb78b571912b0e5661"},
+    {file = "kframework-7.1.159.tar.gz", hash = "sha256:8b34b00093a84b33d17123c9d58613d770936c78721bf8d56a3c329f89837968"},
 ]
 
 [package.dependencies]
@@ -1044,13 +1044,13 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"]
 
 [[package]]
 name = "setuptools"
-version = "75.1.0"
+version = "75.2.0"
 description = "Easily download, build, install, upgrade, and uninstall Python packages"
 optional = false
 python-versions = ">=3.8"
 files = [
-    {file = "setuptools-75.1.0-py3-none-any.whl", hash = "sha256:35ab7fd3bcd95e6b7fd704e4a1539513edad446c097797f2985e0e4b960772f2"},
-    {file = "setuptools-75.1.0.tar.gz", hash = "sha256:d59a21b17a275fb872a9c3dae73963160ae079f1049ed956880cd7c09b120538"},
+    {file = "setuptools-75.2.0-py3-none-any.whl", hash = "sha256:a7fcb66f68b4d9e8e66b42f9876150a3371558f98fa32222ffaa5bced76406f8"},
+    {file = "setuptools-75.2.0.tar.gz", hash = "sha256:753bb6ebf1f465a1912e19ed1d41f403a79173a9acf66a42e7e6aec45c3c16ec"},
 ]
 
 [package.extras]
@@ -1195,4 +1195,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "4c0ce5b5d6a47ba233a9907dae5641c93a898389cd8259edb8cf60ff94720357"
+content-hash = "4e63a0c46e3a8419c59c3c49a345fca4dd4389af9f671103b4c77dbe97f77b1e"
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index 3de213aaff..b4d17b19b0 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.158"
+kframework = "7.1.159"
 tomlkit = "^0.11.6"
 
 [tool.poetry.group.dev.dependencies]