diff --git a/deps/k_release b/deps/k_release
index ed4411d0..3da1f7b0 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.3.73
+6.3.74
diff --git a/deps/kwasm_release b/deps/kwasm_release
index 5a48b6be..0e7400f1 100644
--- a/deps/kwasm_release
+++ b/deps/kwasm_release
@@ -1 +1 @@
-0.1.24
+0.1.25
diff --git a/deps/pyk_release b/deps/pyk_release
index 1799a348..1101a0e9 100644
--- a/deps/pyk_release
+++ b/deps/pyk_release
@@ -1 +1 @@
-v0.1.772
+v0.1.775
diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 2f616cc3..a6da64f2 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 2f616cc37dca4cb103ea7e5f0855df760d3ddd23
+Subproject commit a6da64f2bf613f4ef85e5826441a273dffbeedfc
diff --git a/kmultiversx/poetry.lock b/kmultiversx/poetry.lock
index 88fe9786..56a81ae1 100644
--- a/kmultiversx/poetry.lock
+++ b/kmultiversx/poetry.lock
@@ -357,13 +357,13 @@ test = ["pytest (>=6)"]
 
 [[package]]
 name = "execnet"
-version = "2.0.2"
+version = "2.1.0"
 description = "execnet: rapid multi-Python deployment"
 optional = false
-python-versions = ">=3.7"
+python-versions = ">=3.8"
 files = [
-    {file = "execnet-2.0.2-py3-none-any.whl", hash = "sha256:88256416ae766bc9e8895c76a87928c0012183da3cc4fc18016e6f050e025f41"},
-    {file = "execnet-2.0.2.tar.gz", hash = "sha256:cc59bc4423742fd71ad227122eb0dd44db51efb3dc4095b45ac9a08c770096af"},
+    {file = "execnet-2.1.0-py3-none-any.whl", hash = "sha256:ad174d7705410adc9359ba4822bad211d71cdbd59ff70304e1aa41d196b4b4d3"},
+    {file = "execnet-2.1.0.tar.gz", hash = "sha256:dc4a63f86afb40f8429f59f938d6cb97846f9e7cf7dd9eb4b8c26016965b7ac0"},
 ]
 
 [package.extras]
@@ -971,7 +971,7 @@ windows-terminal = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "pyk"
-version = "0.1.772"
+version = "0.1.775"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -992,12 +992,12 @@ xdg-base-dirs = "^6.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.772"
-resolved_reference = "0f0ec2eacc35af45551f43e6c5420778caa9f0e1"
+reference = "v0.1.775"
+resolved_reference = "7ee5e70ee7745d5f62713466c719b5d93b3bbfbf"
 
 [[package]]
 name = "pykwasm"
-version = "0.1.24"
+version = "0.1.25"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -1008,13 +1008,13 @@ develop = false
 cytoolz = "^0.12.1"
 numpy = "^1.24.2"
 py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.2.0.tar.gz"}
-pyk = {git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.772"}
+pyk = {git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.775"}
 
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/wasm-semantics.git"
-reference = "v0.1.24"
-resolved_reference = "2f616cc37dca4cb103ea7e5f0855df760d3ddd23"
+reference = "v0.1.25"
+resolved_reference = "a6da64f2bf613f4ef85e5826441a273dffbeedfc"
 subdirectory = "pykwasm"
 
 [[package]]
@@ -1229,13 +1229,13 @@ files = [
 
 [[package]]
 name = "typing-extensions"
-version = "4.10.0"
+version = "4.11.0"
 description = "Backported and Experimental Type Hints for Python 3.8+"
 optional = false
 python-versions = ">=3.8"
 files = [
-    {file = "typing_extensions-4.10.0-py3-none-any.whl", hash = "sha256:69b1a937c3a517342112fb4c6df7e72fc39a38e7891a5730ed4985b5214b5475"},
-    {file = "typing_extensions-4.10.0.tar.gz", hash = "sha256:b0abd7c89e8fb96f98db18d86106ff1d90ab692004eb746cf6eda2682f91b3cb"},
+    {file = "typing_extensions-4.11.0-py3-none-any.whl", hash = "sha256:c1f94d72897edaf4ce775bb7558d5b79d8126906a14ea5ed1635921406c0387a"},
+    {file = "typing_extensions-4.11.0.tar.gz", hash = "sha256:83f085bd5ca59c80295fc2a82ab5dac679cbe02b9f33f7d83af68e241bea51b0"},
 ]
 
 [[package]]
@@ -1292,4 +1292,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "b2bbe5d688bd49fc45ac5d1d1d8b74fb8ebbf1f5dd7d9294613c2694a85692f8"
+content-hash = "65bd8e87349f2de87f1dfce05c03190d95c81ebbb0868ff0f462834736388212"
diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml
index d0ae48ca..ceeb60fe 100644
--- a/kmultiversx/pyproject.toml
+++ b/kmultiversx/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmultiversx"
-version = "0.1.25"
+version = "0.1.26"
 description = "Python tools for Elrond semantics"
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -12,7 +12,7 @@ authors = [
 
 [tool.poetry.dependencies]
 python = "^3.10"
-pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.24", subdirectory = "pykwasm" }
+pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.25", subdirectory = "pykwasm" }
 pycryptodomex = "^3.18.0"
 hypothesis = "^6.82.6"
 
diff --git a/package/version b/package/version
index 0e7400f1..7db26729 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.25
+0.1.26