diff --git a/flake.lock b/flake.lock
index 4e210864..9d2d8ca7 100644
--- a/flake.lock
+++ b/flake.lock
@@ -533,16 +533,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1721190883,
-        "narHash": "sha256-N0aW3R9V/9D52DyNKBtkSbJ6GwoDF06rFKzQFHSJ8z0=",
+        "lastModified": 1721415807,
+        "narHash": "sha256-t40w+kcFV1UjjJkfUlm4faknV2V8ITTPLhwElBvPyKY=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "c539eff0fcaa7ce1520121e5af610abcbaca83ab",
+        "rev": "4ddedd23e89c659c6219589178031ff69e6f8843",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.65",
+        "ref": "v7.1.70",
         "repo": "k",
         "type": "github"
       }
@@ -572,16 +572,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1721190883,
-        "narHash": "sha256-N0aW3R9V/9D52DyNKBtkSbJ6GwoDF06rFKzQFHSJ8z0=",
+        "lastModified": 1721415807,
+        "narHash": "sha256-t40w+kcFV1UjjJkfUlm4faknV2V8ITTPLhwElBvPyKY=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "c539eff0fcaa7ce1520121e5af610abcbaca83ab",
+        "rev": "4ddedd23e89c659c6219589178031ff69e6f8843",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.65",
+        "ref": "v7.1.70",
         "repo": "k",
         "type": "github"
       }
@@ -614,16 +614,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1721190883,
-        "narHash": "sha256-N0aW3R9V/9D52DyNKBtkSbJ6GwoDF06rFKzQFHSJ8z0=",
+        "lastModified": 1721415807,
+        "narHash": "sha256-t40w+kcFV1UjjJkfUlm4faknV2V8ITTPLhwElBvPyKY=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "c539eff0fcaa7ce1520121e5af610abcbaca83ab",
+        "rev": "4ddedd23e89c659c6219589178031ff69e6f8843",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.65",
+        "ref": "v7.1.70",
         "repo": "k",
         "type": "github"
       }
@@ -662,16 +662,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1720605767,
-        "narHash": "sha256-f2+y13P306W0Ws7gfjVkG4jytHqfSY0qAd4KeF/qZno=",
+        "lastModified": 1721409969,
+        "narHash": "sha256-D9F6JhSsDOwGx6/ysi4O7d+A3aGNliEXOKgXvViRD00=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "bd12ae4ace1f288b3b6236cc42f7004fe38e9965",
+        "rev": "ed79b7ead98fff940ef683e61653d4d30a47b663",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.56",
+        "ref": "v0.1.59",
         "repo": "llvm-backend",
         "type": "github"
       }
@@ -694,16 +694,16 @@
         "utils": "utils_2"
       },
       "locked": {
-        "lastModified": 1720605767,
-        "narHash": "sha256-f2+y13P306W0Ws7gfjVkG4jytHqfSY0qAd4KeF/qZno=",
+        "lastModified": 1721409969,
+        "narHash": "sha256-D9F6JhSsDOwGx6/ysi4O7d+A3aGNliEXOKgXvViRD00=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "bd12ae4ace1f288b3b6236cc42f7004fe38e9965",
+        "rev": "ed79b7ead98fff940ef683e61653d4d30a47b663",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.56",
+        "ref": "v0.1.59",
         "repo": "llvm-backend",
         "type": "github"
       }
@@ -727,16 +727,16 @@
         "utils": "utils_3"
       },
       "locked": {
-        "lastModified": 1720605767,
-        "narHash": "sha256-f2+y13P306W0Ws7gfjVkG4jytHqfSY0qAd4KeF/qZno=",
+        "lastModified": 1721409969,
+        "narHash": "sha256-D9F6JhSsDOwGx6/ysi4O7d+A3aGNliEXOKgXvViRD00=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "bd12ae4ace1f288b3b6236cc42f7004fe38e9965",
+        "rev": "ed79b7ead98fff940ef683e61653d4d30a47b663",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.56",
+        "ref": "v0.1.59",
         "repo": "llvm-backend",
         "type": "github"
       }
@@ -853,16 +853,16 @@
         "wasm-semantics": "wasm-semantics"
       },
       "locked": {
-        "lastModified": 1721309192,
-        "narHash": "sha256-70kMDE9NHUAi0FNKO1m2IdaLqMk5n683Ynm/c1skVao=",
+        "lastModified": 1721426538,
+        "narHash": "sha256-rWqirsKqZvsS7iOO2aMwzcAhdFc3bVnrtHfwr83lilQ=",
         "owner": "runtimeverification",
         "repo": "mx-semantics",
-        "rev": "1467b50af98fb11521201c28a9375bb7771d1c6b",
+        "rev": "52dc83d06c967c5377bdda1caa3a6f212da0fef0",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.98",
+        "ref": "v0.1.99",
         "repo": "mx-semantics",
         "type": "github"
       }
@@ -1332,17 +1332,17 @@
       },
       "locked": {
         "dir": "pyk",
-        "lastModified": 1721190883,
-        "narHash": "sha256-N0aW3R9V/9D52DyNKBtkSbJ6GwoDF06rFKzQFHSJ8z0=",
+        "lastModified": 1721415807,
+        "narHash": "sha256-t40w+kcFV1UjjJkfUlm4faknV2V8ITTPLhwElBvPyKY=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "c539eff0fcaa7ce1520121e5af610abcbaca83ab",
+        "rev": "4ddedd23e89c659c6219589178031ff69e6f8843",
         "type": "github"
       },
       "original": {
         "dir": "pyk",
         "owner": "runtimeverification",
-        "ref": "v7.1.65",
+        "ref": "v7.1.70",
         "repo": "k",
         "type": "github"
       }
@@ -1364,17 +1364,17 @@
       },
       "locked": {
         "dir": "pyk",
-        "lastModified": 1721190883,
-        "narHash": "sha256-N0aW3R9V/9D52DyNKBtkSbJ6GwoDF06rFKzQFHSJ8z0=",
+        "lastModified": 1721415807,
+        "narHash": "sha256-t40w+kcFV1UjjJkfUlm4faknV2V8ITTPLhwElBvPyKY=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "c539eff0fcaa7ce1520121e5af610abcbaca83ab",
+        "rev": "4ddedd23e89c659c6219589178031ff69e6f8843",
         "type": "github"
       },
       "original": {
         "dir": "pyk",
         "owner": "runtimeverification",
-        "ref": "v7.1.65",
+        "ref": "v7.1.70",
         "repo": "k",
         "type": "github"
       }
@@ -1519,11 +1519,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1721269159,
-        "narHash": "sha256-eHrGuKZKQb762qdCkrfoyyxXLKumYhiXJca1ig0RftE=",
+        "lastModified": 1721355572,
+        "narHash": "sha256-I4TQ2guV9jTmZsXeWt5HMojcaqNZHII4zu0xIKZEovM=",
         "owner": "oxalica",
         "repo": "rust-overlay",
-        "rev": "c3e217122ac55680606d69bc693bdf262f14f602",
+        "rev": "d5bc7b1b21cf937fb8ff108ae006f6776bdb163d",
         "type": "github"
       },
       "original": {
@@ -2138,16 +2138,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1721223754,
-        "narHash": "sha256-40GPQBt+jzwjC/dHquDjek3b4tqEQA13mpXMXXqcaHg=",
+        "lastModified": 1721420747,
+        "narHash": "sha256-CPBRvLT9ygl4IxzZyyc5A6ZrIFiZxQF9nAbmTwbsRRU=",
         "owner": "runtimeverification",
         "repo": "wasm-semantics",
-        "rev": "1b0adc068c3038adce4c5b5a3863a4476d251ec1",
+        "rev": "89bdf389bd49fd4ebab38c48c78e2c3df1927324",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.86",
+        "ref": "v0.1.89",
         "repo": "wasm-semantics",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 41554d90..f0877f02 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,11 +2,11 @@
   description = "kmxwasm - Symbolic execution for the MulitversX blockchain with the Wasm semantics, using pyk.";
 
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.65";
-    pyk.url = "github:runtimeverification/k/v7.1.65?dir=pyk";
+    k-framework.url = "github:runtimeverification/k/v7.1.70";
+    pyk.url = "github:runtimeverification/k/v7.1.70?dir=pyk";
     nixpkgs-pyk.follows = "pyk/nixpkgs";
     poetry2nix.follows = "pyk/poetry2nix";
-    mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.98";
+    mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.99";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.url = "github:runtimeverification/rv-nix-tools";