diff --git a/deps/k_release b/deps/k_release
index cdd318aa5..5f3b9106f 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.201
+7.1.203
diff --git a/deps/kevm_release b/deps/kevm_release
index 720ba7488..501c92387 100644
--- a/deps/kevm_release
+++ b/deps/kevm_release
@@ -1 +1 @@
-1.0.775
+1.0.776
diff --git a/flake.lock b/flake.lock
index 69c93f7df..28a01a8ed 100644
--- a/flake.lock
+++ b/flake.lock
@@ -390,16 +390,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1737125608,
-        "narHash": "sha256-8zYdKMZI6S1/pqZW/Fvd0KgAYP3HLy++Miqx6QYJ7sI=",
+        "lastModified": 1737378419,
+        "narHash": "sha256-RRXXaHh4RbLRENU/Mm7m8R3nNntRHjhQF8JLIsgFrqI=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "a461666e8dbd13ac964db7b00e5c5f24a911dee9",
+        "rev": "7a23ab7ea1c409838078d4960132c2c3ce20c1b9",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.201",
+        "ref": "v7.1.203",
         "repo": "k",
         "type": "github"
       }
@@ -435,16 +435,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1737143804,
-        "narHash": "sha256-KnC/soxwkr7AjgfkoyxO2cFi9JickmbP27p6P7dpoCI=",
+        "lastModified": 1737385328,
+        "narHash": "sha256-+zlR5oIm/kfaMCSTaH0RuFBvAphpu7UqY8VIfFPvEG4=",
         "owner": "runtimeverification",
         "repo": "evm-semantics",
-        "rev": "0e872026300bda0e28ca3e293e6e8e0cad288ca2",
+        "rev": "55929c768a0355d33641d6a21f6b143af4569a14",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v1.0.775",
+        "ref": "v1.0.776",
         "repo": "evm-semantics",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index f622f05d9..9fbd031bf 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
   description = "Kontrol";
 
   inputs = {
-    kevm.url = "github:runtimeverification/evm-semantics/v1.0.775";
+    kevm.url = "github:runtimeverification/evm-semantics/v1.0.776";
     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 1f2bce777..26c35355e 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -112,28 +112,21 @@ colorama = {version = "*", markers = "platform_system == \"Windows\""}
 
 [[package]]
 name = "cmd2"
-version = "2.5.8"
+version = "2.5.9"
 description = "cmd2 - quickly build feature-rich and user-friendly interactive command line applications in Python"
 optional = false
 python-versions = ">=3.8"
 groups = ["main"]
 files = [
-    {file = "cmd2-2.5.8-py3-none-any.whl", hash = "sha256:aeb6eb6cd6d783bb7d92d37aa920bcfa7379690ba9ab1188576562f73a13471c"},
-    {file = "cmd2-2.5.8.tar.gz", hash = "sha256:ddf29beaa7c9d4e9806eefad528a59c372ca97b4c0d83e019fef0e37c44f4497"},
+    {file = "cmd2-2.5.9-py3-none-any.whl", hash = "sha256:b2621661fe48a5a94343bd0f3285c18ca51ed9edda61406b6898895be0eb99ad"},
+    {file = "cmd2-2.5.9.tar.gz", hash = "sha256:09bb13637832bc818aad5577ccdf5dbeb0c9fbe5b9412ff78d5084f7846f83ab"},
 ]
 
 [package.dependencies]
-gnureadline = {version = "*", markers = "platform_system == \"Darwin\""}
-pyperclip = "*"
-pyreadline3 = {version = "*", markers = "platform_system == \"Windows\""}
-wcwidth = "*"
-
-[package.extras]
-build = ["build", "setuptools", "setuptools-scm"]
-dev = ["codecov", "doc8", "invoke", "mypy", "pytest", "pytest-cov", "pytest-mock", "ruff", "sphinx", "sphinx-autobuild", "sphinx-rtd-theme", "twine"]
-docs = ["setuptools", "setuptools_scm", "sphinx", "sphinx-autobuild", "sphinx-rtd-theme"]
-test = ["codecov", "coverage", "pytest", "pytest-cov", "pytest-mock"]
-validate = ["mypy", "ruff", "types-setuptools"]
+gnureadline = {version = ">=8", markers = "platform_system == \"Darwin\""}
+pyperclip = ">=1.8"
+pyreadline3 = {version = ">=3.4", markers = "platform_system == \"Windows\""}
+wcwidth = ">=0.2.10"
 
 [[package]]
 name = "colorama"
@@ -656,14 +649,14 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve
 
 [[package]]
 name = "hypothesis"
-version = "6.124.0"
+version = "6.124.1"
 description = "A library for property-based testing"
 optional = false
 python-versions = ">=3.9"
 groups = ["main"]
 files = [
-    {file = "hypothesis-6.124.0-py3-none-any.whl", hash = "sha256:8d642bee278f933c2b3c41db69cbb001f89a7eed03c6a9cc37f6c59396b30815"},
-    {file = "hypothesis-6.124.0.tar.gz", hash = "sha256:397a740af269646d87915c59d4299f58ef68ba89c213653d899aa533df76a03a"},
+    {file = "hypothesis-6.124.1-py3-none-any.whl", hash = "sha256:40c8be982d3a79b26d5ae11b6606189784f1654f3c750ffcb99fc5b352d5e2ba"},
+    {file = "hypothesis-6.124.1.tar.gz", hash = "sha256:6e21995c3cb3198ef7e60853acce1fbaa6c16de59c2fb3158845664dfe639bd9"},
 ]
 
 [package.dependencies]
@@ -741,7 +734,7 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kevm-pyk"
-version = "1.0.775"
+version = "1.0.776"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -750,27 +743,27 @@ files = []
 develop = false
 
 [package.dependencies]
-kframework = "7.1.201"
+kframework = "7.1.203"
 pathos = "*"
 tomlkit = "^0.11.6"
 
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/evm-semantics.git"
-reference = "v1.0.775"
-resolved_reference = "0e872026300bda0e28ca3e293e6e8e0cad288ca2"
+reference = "v1.0.776"
+resolved_reference = "55929c768a0355d33641d6a21f6b143af4569a14"
 subdirectory = "kevm-pyk"
 
 [[package]]
 name = "kframework"
-version = "7.1.201"
+version = "7.1.203"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 groups = ["main"]
 files = [
-    {file = "kframework-7.1.201-py3-none-any.whl", hash = "sha256:1c1f3821147376c46dbff56001093cd7810d475e28667a91ddddcc9026d1f54f"},
-    {file = "kframework-7.1.201.tar.gz", hash = "sha256:1e06fabbc3df5b6f8d2d9cc04f510e9942a7809e142a5aeba858797ab2274a87"},
+    {file = "kframework-7.1.203-py3-none-any.whl", hash = "sha256:a77708ee242d7924965184c35b1ecb4e7151f99238f5d73cf6f65b75f3cd5d7c"},
+    {file = "kframework-7.1.203.tar.gz", hash = "sha256:e567eb936898acd0ac61a1a1d599925ebe0ee2fdb2832c4f04dac25aefdae7f1"},
 ]
 
 [package.dependencies]
@@ -1606,4 +1599,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.1"
 python-versions = "^3.10"
-content-hash = "4205b6223ae119f2e3ed628a54d8cd10209483a8795d89992409065616c0f5fd"
+content-hash = "5d55084795d400a076cef023223edbfebdf71538c90b256a0c845c7dd9c16a1d"
diff --git a/pyproject.toml b/pyproject.toml
index c053382f2..48bc22e86 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.775", subdirectory = "kevm-pyk" }
+kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.776", subdirectory = "kevm-pyk" }
 eth-utils = "^4.1.1"
 pycryptodome = "^3.20.0"
 pyevmasm = "^0.2.3"