diff --git a/deps/k_release b/deps/k_release
index f87acf56b..466cdc88f 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.41
+7.1.44
diff --git a/flake.lock b/flake.lock
index 85d96220f..36576eb9e 100644
--- a/flake.lock
+++ b/flake.lock
@@ -82,16 +82,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1719489268,
-        "narHash": "sha256-J480ZO5k/WjMbwCIfrhy+Kg4p+r5qgbIbCunkn1DhnA=",
+        "lastModified": 1719881076,
+        "narHash": "sha256-t9RTbVarwaobMiJkQjXykP8Qt+26miKzr3inONULvck=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "e82bc74a95ce6a78c6f8fec7cb255a36aa99e0c6",
+        "rev": "11265424aeb138168bc73f1f028273de192b5be4",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.25",
+        "ref": "v0.1.29",
         "repo": "haskell-backend",
         "type": "github"
       }
@@ -126,16 +126,16 @@
         "rv-utils": "rv-utils_3"
       },
       "locked": {
-        "lastModified": 1719952993,
-        "narHash": "sha256-HoN0Dog3caxrSqoxzJ6Qb3ZJudCZHvX0guiEtOibNLs=",
+        "lastModified": 1720086145,
+        "narHash": "sha256-tCHf9gbsFHZH9PM0r65CgmqHQsNfGJCuD7kib7KLELs=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "96a59fd472000912571ce988bbcce00de9ced61c",
+        "rev": "e6d4f896d7c51efd68f11c77141d457625472c43",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.41",
+        "ref": "v7.1.44",
         "repo": "k",
         "type": "github"
       }
@@ -320,17 +320,17 @@
       },
       "locked": {
         "dir": "pyk",
-        "lastModified": 1719952993,
-        "narHash": "sha256-HoN0Dog3caxrSqoxzJ6Qb3ZJudCZHvX0guiEtOibNLs=",
+        "lastModified": 1720086145,
+        "narHash": "sha256-tCHf9gbsFHZH9PM0r65CgmqHQsNfGJCuD7kib7KLELs=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "96a59fd472000912571ce988bbcce00de9ced61c",
+        "rev": "e6d4f896d7c51efd68f11c77141d457625472c43",
         "type": "github"
       },
       "original": {
         "dir": "pyk",
         "owner": "runtimeverification",
-        "ref": "v7.1.41",
+        "ref": "v7.1.44",
         "repo": "k",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 500215d71..17fdb6ff2 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,11 +2,11 @@
   description = "K Semantics of WebAssembly";
 
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.41";
+    k-framework.url = "github:runtimeverification/k/v7.1.44";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";
-    pyk.url = "github:runtimeverification/k/v7.1.41?dir=pyk";
+    pyk.url = "github:runtimeverification/k/v7.1.44?dir=pyk";
     poetry2nix.follows = "pyk/poetry2nix";
   };
 
diff --git a/package/version b/package/version
index d9ba74708..ad069db66 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.75
+0.1.76
diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
index 6f7715942..81b5f9e37 100644
--- a/pykwasm/poetry.lock
+++ b/pykwasm/poetry.lock
@@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.41"
+version = "7.1.44"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.41-py3-none-any.whl", hash = "sha256:89bfa4ead36ca5e4b08e7bd6eb9f789534f78fd17fcdc52747f24a0d6161fe2f"},
-    {file = "kframework-7.1.41.tar.gz", hash = "sha256:0b3efdb6952e0607006766a5f84b4fcb49ea703092a34a3188886fe935163303"},
+    {file = "kframework-7.1.44-py3-none-any.whl", hash = "sha256:4ded11b61e1b79c23bd75d8e2a2895a49c5a0188692b11a394f1975ce0ee7d06"},
+    {file = "kframework-7.1.44.tar.gz", hash = "sha256:5f932b796a8b8421744b42968daddf4fd815e2b278a9873717377202536094ac"},
 ]
 
 [package.dependencies]
@@ -1227,4 +1227,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools",
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "6b77f545089b3c26c2c9f4200167b79347df65b6587a233619713bbac51d0c68"
+content-hash = "5734af9a50eed783985751597dde8aa20d4c3bb1936e40f6b7421a77f7b28e38"
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index c12408734..5ea440b1f 100644
--- a/pykwasm/pyproject.toml
+++ b/pykwasm/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pykwasm"
-version = "0.1.75"
+version = "0.1.76"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -23,7 +23,7 @@ wasm-semantics = "pykwasm.kdist.plugin"
 python = "^3.10"
 cytoolz = "^0.12.1"
 numpy = "^1.24.2"
-kframework = "7.1.41"
+kframework = "7.1.44"
 py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" }
 
 [tool.poetry.group.dev.dependencies]