diff --git a/deps/k_release b/deps/k_release
index 093b104b6..d0919bd2d 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.329
+7.1.337
diff --git a/flake.lock b/flake.lock
index 029664e98..3e64bea32 100644
--- a/flake.lock
+++ b/flake.lock
@@ -66,16 +66,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1779860189,
-        "narHash": "sha256-hCyz2V6ZDAqenUhZD7yPLk+EyiMauJghxMuOO1HHhWc=",
+        "lastModified": 1781757330,
+        "narHash": "sha256-bUd4OrjJ3cMXhMkSN21tAG3ShgwCGR9j1SW1GsK0YrA=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "786db62a39ac444e04481719339a60ae240e85cd",
+        "rev": "38afc81fc9414f1e11e609b01a43a436b613bd2d",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.147",
+        "ref": "v0.1.155",
         "repo": "haskell-backend",
         "type": "github"
       }
@@ -120,16 +120,16 @@
         "uv2nix": "uv2nix"
       },
       "locked": {
-        "lastModified": 1780118549,
-        "narHash": "sha256-6gWqAi+ldVvpLZ83UZuijmo4q9SfY+kCc6oOjrGioZA=",
+        "lastModified": 1781787476,
+        "narHash": "sha256-qJF6n4J9gf6bSR/G5iH4905xGHUVHyqKHW1dkgGBdhY=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "b6a2ca42867bc0736ab2153ad2152b69f63de02a",
+        "rev": "4a46d1231473b599c699160132fd6e76a5c46406",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.329",
+        "ref": "v7.1.337",
         "repo": "k",
         "type": "github"
       }
@@ -181,11 +181,11 @@
     },
     "nixpkgs-unstable": {
       "locked": {
-        "lastModified": 1779560665,
-        "narHash": "sha256-tpyBcxPpcQb8ukyNF7DoCwfSY3VPsxHoYwj00Cayv5o=",
+        "lastModified": 1781577229,
+        "narHash": "sha256-lrp67w8AulE9Ks53n27I45ADSzbOCn4H+CNW1Ck8B+8=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "64c08a7ca051951c8eae34e3e3cb1e202fe36786",
+        "rev": "567a49d1913ce81ac6e9582e3553dd90a955875f",
         "type": "github"
       },
       "original": {
@@ -197,11 +197,11 @@
     },
     "nixpkgs-unstable_2": {
       "locked": {
-        "lastModified": 1779560665,
-        "narHash": "sha256-tpyBcxPpcQb8ukyNF7DoCwfSY3VPsxHoYwj00Cayv5o=",
+        "lastModified": 1781577229,
+        "narHash": "sha256-lrp67w8AulE9Ks53n27I45ADSzbOCn4H+CNW1Ck8B+8=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "64c08a7ca051951c8eae34e3e3cb1e202fe36786",
+        "rev": "567a49d1913ce81ac6e9582e3553dd90a955875f",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index 5b1937e2d..dd40b2777 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";
 
-    k-framework.url = "github:runtimeverification/k/v7.1.329";
+    k-framework.url = "github:runtimeverification/k/v7.1.337";
     k-framework.inputs.nixpkgs.follows = "nixpkgs";
 
     flake-utils.follows = "k-framework/flake-utils";
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index 61f745a3c..0247e704a 100644
--- a/pykwasm/pyproject.toml
+++ b/pykwasm/pyproject.toml
@@ -9,7 +9,7 @@ description = ""
 readme = "README.md"
 requires-python = "~=3.10"
 dependencies = [
-    "kframework>=7.1.329"
+    "kframework>=7.1.337"
 ]
 
 [[project.authors]]
diff --git a/pykwasm/uv.lock b/pykwasm/uv.lock
index 3c1d3f48a..c27b41bae 100644
--- a/pykwasm/uv.lock
+++ b/pykwasm/uv.lock
@@ -401,7 +401,7 @@ name = "exceptiongroup"
 version = "1.3.1"
 source = { registry = "https://pypi.org/simple" }
 dependencies = [
-    { name = "typing-extensions", marker = "python_full_version < '3.11'" },
+    { name = "typing-extensions", marker = "python_full_version < '3.13'" },
 ]
 sdist = { url = "https://files.pythonhosted.org/packages/50/79/66800aadf48771f6b62f7eb014e352e5d06856655206165d775e675a02c9/exceptiongroup-1.3.1.tar.gz", hash = "sha256:8b412432c6055b0b7d14c310000ae93352ed6754f70fa8f7c34141f91c4e3219", size = 30371, upload-time = "2025-11-21T23:01:54.787Z" }
 wheels = [
@@ -1098,7 +1098,7 @@ dev = [
 ]
 
 [package.metadata]
-requires-dist = [{ name = "kframework", specifier = ">=7.1.329" }]
+requires-dist = [{ name = "kframework", specifier = ">=7.1.337" }]
 
 [package.metadata.requires-dev]
 dev = [