diff --git a/deps/kevm_release b/deps/kevm_release
index 4cca9a06a..931a1031d 100644
--- a/deps/kevm_release
+++ b/deps/kevm_release
@@ -1 +1 @@
-1.0.751
+1.0.752
diff --git a/flake.lock b/flake.lock
index c313c9131..8fd544a91 100644
--- a/flake.lock
+++ b/flake.lock
@@ -49,17 +49,17 @@
         "xbyak": "xbyak"
       },
       "locked": {
-        "lastModified": 1729533703,
-        "narHash": "sha256-WHiKmkmpqItUl/BxvxLqurFPhInVVK3GjyaD2G6D618=",
+        "lastModified": 1730140080,
+        "narHash": "sha256-veQr5Zx0zbg4ZOA2A3C+qrmcZ0zO0kKwzG+O3VhA318=",
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "a6b4c7d851afd9e2729901b515c6e699464611d7",
+        "rev": "c9264b240c00d1f6cc20e22aac83c94d1a499138",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "a6b4c7d851afd9e2729901b515c6e699464611d7",
+        "rev": "c9264b240c00d1f6cc20e22aac83c94d1a499138",
         "type": "github"
       }
     },
@@ -243,16 +243,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1729168859,
-        "narHash": "sha256-S9Vx0p6kDorS9NwnZb+QOTGpMKXwGlchCiiow881nTs=",
+        "lastModified": 1729679874,
+        "narHash": "sha256-+HNfnDTdH08YEHgTYIB0CF1YWrJMbiH9vyQUKnOyhsA=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "712543ed61f5ca4365b84d0f7ef6d71a35349662",
+        "rev": "d933d5ccb4cee63b83b8a990a03d3f4267139e41",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.90",
+        "ref": "v0.1.92",
         "repo": "haskell-backend",
         "type": "github"
       }
@@ -351,16 +351,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1729267362,
-        "narHash": "sha256-8MiygbATdPGnEyN8593j3TqeLEwweSQBJOOFjAtkjuM=",
+        "lastModified": 1729715336,
+        "narHash": "sha256-e4515vXk5qzIITnYvcUK3kbC37S8S0PMbqv56ld5OAU=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "459fdd7b844e1788981a9291185e9aa3635c503a",
+        "rev": "5d1ccd5a2585cbec970c68f8530ddbf2b27fe574",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.164",
+        "ref": "v7.1.166",
         "repo": "k",
         "type": "github"
       }
@@ -435,16 +435,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1730945198,
-        "narHash": "sha256-JpX2x8RBi1XWqqDr14XcdfTm+B0iiHxqBybLRtEOfiM=",
+        "lastModified": 1731088335,
+        "narHash": "sha256-f+AGm53+Uk8YjSgMfHN+aK0Yd9jiUYq28HWv+goLhx8=",
         "owner": "runtimeverification",
         "repo": "evm-semantics",
-        "rev": "958ad3116e038803b3ea8580950cd9707a76a3fd",
+        "rev": "0e4e39ea12c975d6ed6a60a9c23a22433d88a961",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v1.0.751",
+        "ref": "v1.0.752",
         "repo": "evm-semantics",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index ebcce893a..6a110b122 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
   description = "Kontrol";
 
   inputs = {
-    kevm.url = "github:runtimeverification/evm-semantics/v1.0.751";
+    kevm.url = "github:runtimeverification/evm-semantics/v1.0.752";
     nixpkgs.follows = "kevm/nixpkgs";
     k-framework.follows = "kevm/k-framework";
     flake-utils.follows = "kevm/flake-utils";
diff --git a/poetry.lock b/poetry.lock
index bab34f80d..274848c3c 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -612,13 +612,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve
 
 [[package]]
 name = "hypothesis"
-version = "6.116.0"
+version = "6.118.0"
 description = "A library for property-based testing"
 optional = false
 python-versions = ">=3.9"
 files = [
-    {file = "hypothesis-6.116.0-py3-none-any.whl", hash = "sha256:d30271214eae0d4758b72b408e9777405c7c7f687e14e8a42853adea887b2891"},
-    {file = "hypothesis-6.116.0.tar.gz", hash = "sha256:9c1ac9a2edb77aacae1950d8ded6b3f40dbf8483097c88336265c348d2132c71"},
+    {file = "hypothesis-6.118.0-py3-none-any.whl", hash = "sha256:40e27343570cbb65d14a4d6da5ee38286995100d4fb93d4b8038ba3669e240e5"},
+    {file = "hypothesis-6.118.0.tar.gz", hash = "sha256:5568bae62a2b29c92e579589befa7773f685e3ca76ca4b9ec0b2e356dbf8541e"},
 ]
 
 [package.dependencies]
@@ -693,7 +693,7 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kevm-pyk"
-version = "1.0.751"
+version = "1.0.752"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -708,8 +708,8 @@ tomlkit = "^0.11.6"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/evm-semantics.git"
-reference = "v1.0.751"
-resolved_reference = "958ad3116e038803b3ea8580950cd9707a76a3fd"
+reference = "v1.0.752"
+resolved_reference = "0e4e39ea12c975d6ed6a60a9c23a22433d88a961"
 subdirectory = "kevm-pyk"
 
 [[package]]
@@ -917,13 +917,13 @@ files = [
 
 [[package]]
 name = "packaging"
-version = "24.1"
+version = "24.2"
 description = "Core utilities for Python packages"
 optional = false
 python-versions = ">=3.8"
 files = [
-    {file = "packaging-24.1-py3-none-any.whl", hash = "sha256:5b8f2217dbdbd2f7f384c41c628544e6d52f2d0f53c6d0c3ea61aa5d1d7ff124"},
-    {file = "packaging-24.1.tar.gz", hash = "sha256:026ed72c8ed3fcce5bf8950572258698927fd1dbda10a5e981cdf0ac37f4f002"},
+    {file = "packaging-24.2-py3-none-any.whl", hash = "sha256:09abb1bccd265c01f4a3aa3f7a7db064b36514d2cba19a2f694fe6150451a759"},
+    {file = "packaging-24.2.tar.gz", hash = "sha256:c228a6dc5e932d346bc5739379109d49e8853dd8223571c7c5b55260edc0b97f"},
 ]
 
 [[package]]
@@ -1473,4 +1473,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "8f9f7064fa2697ffbb7b9b65828e43f1e4192b09cc4e7f9ab56032c6ea30241c"
+content-hash = "be22b931ec5b30d7298b0a391726771db2db2a06db8147d36986b889afd65122"
diff --git a/pyproject.toml b/pyproject.toml
index a77aa9208..37ce6fa3f 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -12,7 +12,7 @@ authors = [
 
 [tool.poetry.dependencies]
 python = "^3.10"
-kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.751", subdirectory = "kevm-pyk" }
+kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.752", subdirectory = "kevm-pyk" }
 eth-utils = "^4.1.1"
 pycryptodome = "^3.20.0"
 pyevmasm = "^0.2.3"