diff --git a/deps/k_release b/deps/k_release
index 7d28a3c4d7..186d9d5393 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.1.5
+6.1.7
diff --git a/deps/pyk_release b/deps/pyk_release
index b99f9918d7..e841db1f43 100644
--- a/deps/pyk_release
+++ b/deps/pyk_release
@@ -1 +1 @@
-v0.1.496
+v0.1.497
diff --git a/flake.lock b/flake.lock
index 9a53a1bc0b..9cf981bbed 100644
--- a/flake.lock
+++ b/flake.lock
@@ -272,16 +272,16 @@
         "rv-utils": "rv-utils"
       },
       "locked": {
-        "lastModified": 1699617809,
-        "narHash": "sha256-EFRXjnJGQZ6ro8YNFxVWvOnfrrmSm7FjJD2cW/Clw9M=",
+        "lastModified": 1699660460,
+        "narHash": "sha256-pcNc+uPgpaU8hmmFXj3QV9UGTztb1xlKjxYdahVPe88=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "5fbc44925ab0916cde043f966457f925f22b7e60",
+        "rev": "6c5492b3df45923f5c92e92cb15819e408ec850e",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v6.1.5",
+        "ref": "v6.1.7",
         "repo": "k",
         "type": "github"
       }
@@ -324,11 +324,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1699324123,
-        "narHash": "sha256-1BPe87ABW1FSe/sBdN3vy2y4gWQM9GsPysBuMlElRnM=",
+        "lastModified": 1699555417,
+        "narHash": "sha256-ViA4Q9ZQx+Mvx1LVWG9QZQldhbJimDqXgkTJUWXX3wg=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "cb8fe609ba0a9894b207c14da9e88bf311978d4c",
+        "rev": "0e24009e09ac3f96b796a9bb11d078dc3b49fdc3",
         "type": "github"
       },
       "original": {
@@ -470,16 +470,16 @@
         "poetry2nix": "poetry2nix"
       },
       "locked": {
-        "lastModified": 1699631011,
-        "narHash": "sha256-VTUoCb8SprzkUBVkanBOhFppV1cWxgc2Xep7CPw2VJo=",
+        "lastModified": 1699865008,
+        "narHash": "sha256-ZJ+SWGKsgjWLg7Yny0/mtZY23x7Lhx3HyoFcTpkaLEY=",
         "owner": "runtimeverification",
         "repo": "pyk",
-        "rev": "dd40fd825827736036b98c534acc7c953d117a0f",
+        "rev": "f28b2f48f4512ca0ba0338fe584442f172f15222",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.496",
+        "ref": "v0.1.497",
         "repo": "pyk",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index d1caee78f2..af02e7389a 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,11 +2,11 @@
   description = "A flake for the KEVM Semantics";
 
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v6.1.5";
+    k-framework.url = "github:runtimeverification/k/v6.1.7";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";
-    pyk.url = "github:runtimeverification/pyk/v0.1.496";
+    pyk.url = "github:runtimeverification/pyk/v0.1.497";
     nixpkgs-pyk.follows = "pyk/nixpkgs";
     poetry2nix.follows = "pyk/poetry2nix";
     blockchain-k-plugin = {
diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock
index 26a89410f6..9eecf25b35 100644
--- a/kevm-pyk/poetry.lock
+++ b/kevm-pyk/poetry.lock
@@ -682,13 +682,13 @@ flake8 = ">=5.0.0"
 
 [[package]]
 name = "platformdirs"
-version = "3.11.0"
+version = "4.0.0"
 description = "A small Python package for determining appropriate platform-specific dirs, e.g. a \"user data dir\"."
 optional = false
 python-versions = ">=3.7"
 files = [
-    {file = "platformdirs-3.11.0-py3-none-any.whl", hash = "sha256:e9d171d00af68be50e9202731309c4e658fd8bc76f55c11c7dd760d023bda68e"},
-    {file = "platformdirs-3.11.0.tar.gz", hash = "sha256:cf8ee52a3afdb965072dcc652433e0c7e3e40cf5ea1477cd4b3b1d2eb75495b3"},
+    {file = "platformdirs-4.0.0-py3-none-any.whl", hash = "sha256:118c954d7e949b35437270383a3f2531e99dd93cf7ce4dc8340d3356d30f173b"},
+    {file = "platformdirs-4.0.0.tar.gz", hash = "sha256:cb633b2bcf10c51af60beb0ab06d2f1d69064b43abf4c185ca6b28865f3f9731"},
 ]
 
 [package.extras]
@@ -813,7 +813,7 @@ plugins = ["importlib-metadata"]
 
 [[package]]
 name = "pyk"
-version = "0.1.496"
+version = "0.1.497"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -833,8 +833,8 @@ tomli = "^2.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.496"
-resolved_reference = "dd40fd825827736036b98c534acc7c953d117a0f"
+reference = "v0.1.497"
+resolved_reference = "f28b2f48f4512ca0ba0338fe584442f172f15222"
 
 [[package]]
 name = "pyperclip"
@@ -930,13 +930,13 @@ pytest = ">=5.0.0"
 
 [[package]]
 name = "pytest-xdist"
-version = "3.3.1"
+version = "3.4.0"
 description = "pytest xdist plugin for distributed testing, most importantly across multiple CPUs"
 optional = false
 python-versions = ">=3.7"
 files = [
-    {file = "pytest-xdist-3.3.1.tar.gz", hash = "sha256:d5ee0520eb1b7bcca50a60a518ab7a7707992812c578198f8b44fdfac78e8c93"},
-    {file = "pytest_xdist-3.3.1-py3-none-any.whl", hash = "sha256:ff9daa7793569e6a68544850fd3927cd257cc03a7ef76c95e86915355e82b5f2"},
+    {file = "pytest-xdist-3.4.0.tar.gz", hash = "sha256:3a94a931dd9e268e0b871a877d09fe2efb6175c2c23d60d56a6001359002b832"},
+    {file = "pytest_xdist-3.4.0-py3-none-any.whl", hash = "sha256:e513118bf787677a427e025606f55e95937565e06dfaac8d87f55301e57ae607"},
 ]
 
 [package.dependencies]
@@ -1098,4 +1098,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "4f34535207da0df0e867b4a6ca53bb421c16a6ef869c16b40630b5eee5fc0b1f"
+content-hash = "e849f8a99b0173379344fec48f1fe397da31de1669683ff8560f1ac3ab2c05da"
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index 22a2c03dcb..03ed3789f5 100644
--- a/kevm-pyk/pyproject.toml
+++ b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.354"
+version = "1.0.355"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -13,7 +13,7 @@ authors = [
 [tool.poetry.dependencies]
 python = "^3.10"
 pathos = "*"
-pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.496" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.497" }
 tomlkit = "^0.11.6"
 xdg-base-dirs = "^6.0.0"
 
diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py
index 2163329b10..2a2e8cff01 100644
--- a/kevm-pyk/src/kevm_pyk/__init__.py
+++ b/kevm-pyk/src/kevm_pyk/__init__.py
@@ -6,4 +6,4 @@
     from typing import Final
 
 
-VERSION: Final = '1.0.354'
+VERSION: Final = '1.0.355'
diff --git a/package/version b/package/version
index f41cc05d20..79c812d1d1 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-1.0.354
+1.0.355