diff --git a/deps/k_release b/deps/k_release
index 91bf89b50..cebcbd573 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.322
+7.1.323
diff --git a/deps/kevm_release b/deps/kevm_release
index c6af34b6c..9e062f1b8 100644
--- a/deps/kevm_release
+++ b/deps/kevm_release
@@ -1 +1 @@
-1.0.901
+1.0.902
diff --git a/flake.lock b/flake.lock
index bc9c87b15..cb3d0e50e 100644
--- a/flake.lock
+++ b/flake.lock
@@ -437,16 +437,16 @@
         "uv2nix": "uv2nix"
       },
       "locked": {
-        "lastModified": 1778261905,
-        "narHash": "sha256-J6Pci+TA9h1CQZVfFMn63QRlepPtqQnDJgktgl/C00Q=",
+        "lastModified": 1778594571,
+        "narHash": "sha256-Y8Ape8of1FBkDAwIxk3vC0s0Yrkn/7Fa/u4MaKI8+Jo=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "c41cb6d305c6eb116f061d588e06c17e2842d848",
+        "rev": "6ee29000016c6addb83b39ac865860f9542b3ebf",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.322",
+        "ref": "v7.1.323",
         "repo": "k",
         "type": "github"
       }
@@ -479,16 +479,16 @@
         "uv2nix": "uv2nix_2"
       },
       "locked": {
-        "lastModified": 1778461869,
-        "narHash": "sha256-jmmUnF4dnPLVkU/Ts9F90u4oqgdGy/Kp9V57iQoPR4k=",
+        "lastModified": 1778611679,
+        "narHash": "sha256-IQ8SQUXCTMD5K0oar+69VHa71xUM4bFg2B/v10AMKbs=",
         "owner": "runtimeverification",
         "repo": "evm-semantics",
-        "rev": "75d96843aa5cbb678367e032392fe78dee68dc2b",
+        "rev": "a304f515b3bcccb5cd38dbc74008996d9b380400",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v1.0.901",
+        "ref": "v1.0.902",
         "repo": "evm-semantics",
         "type": "github"
       }
@@ -647,11 +647,11 @@
     },
     "nixpkgs-unstable_3": {
       "locked": {
-        "lastModified": 1777954456,
-        "narHash": "sha256-hGdgeU2Nk87RAuZyYjyDjFL6LK7dAZN5RE9+hrDTkDU=",
+        "lastModified": 1778443072,
+        "narHash": "sha256-zi7/fsqM/kFdNuED//4WOCUtezGtKKqRNORjMvfwjnA=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "549bd84d6279f9852cae6225e372cc67fb91a4c1",
+        "rev": "da5ad661ba4e5ef59ba743f0d112cbc30e474f32",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index eddaefbfc..48a79e893 100644
--- a/flake.nix
+++ b/flake.nix
@@ -5,7 +5,7 @@
     rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/854d4f05ea78547d46e807b414faad64cea10ae4";
     nixpkgs.follows = "rv-nix-tools/nixpkgs";
 
-    kevm.url = "github:runtimeverification/evm-semantics/v1.0.901";
+    kevm.url = "github:runtimeverification/evm-semantics/v1.0.902";
     kevm.inputs.nixpkgs.follows = "nixpkgs";
 
     k-framework.follows = "kevm/k-framework";
diff --git a/pyproject.toml b/pyproject.toml
index 0464166a4..f20775772 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -8,7 +8,7 @@ version = "1.0.0"
 description = "Foundry integration for KEVM"
 requires-python = "~=3.10"
 dependencies = [
-    "kevm-pyk@git+https://github.com/runtimeverification/evm-semantics.git@v1.0.901#subdirectory=kevm-pyk",
+    "kevm-pyk@git+https://github.com/runtimeverification/evm-semantics.git@v1.0.902#subdirectory=kevm-pyk",
     "eth-utils>=5,<6",
     "pycryptodome>=3.20.0,<4",
     "pyevmasm>=0.2.3,<0.3",
diff --git a/uv.lock b/uv.lock
index c2bde5a8f..58d85a64c 100644
--- a/uv.lock
+++ b/uv.lock
@@ -798,8 +798,8 @@ wheels = [
 
 [[package]]
 name = "kevm-pyk"
-version = "1.0.901"
-source = { git = "https://github.com/runtimeverification/evm-semantics.git?subdirectory=kevm-pyk&rev=v1.0.901#75d96843aa5cbb678367e032392fe78dee68dc2b" }
+version = "1.0.902"
+source = { git = "https://github.com/runtimeverification/evm-semantics.git?subdirectory=kevm-pyk&rev=v1.0.902#a304f515b3bcccb5cd38dbc74008996d9b380400" }
 dependencies = [
     { name = "frozendict" },
     { name = "kframework" },
@@ -809,7 +809,7 @@ dependencies = [
 
 [[package]]
 name = "kframework"
-version = "7.1.322"
+version = "7.1.323"
 source = { registry = "https://pypi.org/simple" }
 dependencies = [
     { name = "coloredlogs" },
@@ -828,9 +828,9 @@ dependencies = [
     { name = "tomli-w" },
     { name = "xdg-base-dirs" },
 ]
-sdist = { url = "https://files.pythonhosted.org/packages/68/95/c88d24c8e018493896267d2d053fd21bd3a0495d03b8a5781206284b618d/kframework-7.1.322.tar.gz", hash = "sha256:4587cfed2c0a737a23269a937f831f49a3dcf59f062d15e14c79dbc63233f95e", size = 245321, upload-time = "2026-05-08T18:39:12.977Z" }
+sdist = { url = "https://files.pythonhosted.org/packages/2a/d9/a88f051a023540ea9bbab889183bb87e01869c4ebf6565de32bd5b93b439/kframework-7.1.323.tar.gz", hash = "sha256:29f1ef525a29ba2a1410614ce05c4526e6e44b977232ca107f50ff2750d4e149", size = 245892, upload-time = "2026-05-12T14:44:19.937Z" }
 wheels = [
-    { url = "https://files.pythonhosted.org/packages/c1/1c/af31f1203f86b362ab647b2c106d2869a252d54913a1ceb9ab5efe24e7c1/kframework-7.1.322-py3-none-any.whl", hash = "sha256:1acbfe008f3d46418c24dc4c231f7bf388e65a0a110cea5cb05b1b99e05cbf5a", size = 296933, upload-time = "2026-05-08T18:39:11.446Z" },
+    { url = "https://files.pythonhosted.org/packages/e7/db/d555255f53fdb36ffdcdfb303529f07e939018ddb58a4392eb13f19dbe4d/kframework-7.1.323-py3-none-any.whl", hash = "sha256:d0b23ccf44babb5e3ac735e00242d0a41435864ec66012d761cf6718aee53413", size = 297459, upload-time = "2026-05-12T14:44:18.443Z" },
 ]
 
 [[package]]
@@ -873,7 +873,7 @@ dev = [
 requires-dist = [
     { name = "eth-abi", specifier = ">=5.2.0" },
     { name = "eth-utils", specifier = ">=5,<6" },
-    { name = "kevm-pyk", git = "https://github.com/runtimeverification/evm-semantics.git?subdirectory=kevm-pyk&rev=v1.0.901" },
+    { name = "kevm-pyk", git = "https://github.com/runtimeverification/evm-semantics.git?subdirectory=kevm-pyk&rev=v1.0.902" },
     { name = "openzeppelin-solidity-grammar-parser", specifier = ">=0.0.5" },
     { name = "pycryptodome", specifier = ">=3.20.0,<4" },
     { name = "pyevmasm", specifier = ">=0.2.3,<0.3" },