diff --git a/flake.lock b/flake.lock
index 9d2d8ca7..f583dd97 100644
--- a/flake.lock
+++ b/flake.lock
@@ -380,16 +380,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1720572621,
-        "narHash": "sha256-/j0swzk75vBmtYE62t044W7tCRULxwYfygb+C01Ar9A=",
+        "lastModified": 1721316629,
+        "narHash": "sha256-Iq161QQX78LtJnDyOm2zv0c+leGBb/bo0laKsk86pUo=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "3ecef6a3bf991a95ac3dba2900a721bbcd5f5ce7",
+        "rev": "8d61e69a3cc73ae15306775bb2e97ec31247690a",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.32",
+        "ref": "v0.1.46",
         "repo": "haskell-backend",
         "type": "github"
       }
@@ -412,16 +412,16 @@
         "z3": "z3_2"
       },
       "locked": {
-        "lastModified": 1720572621,
-        "narHash": "sha256-/j0swzk75vBmtYE62t044W7tCRULxwYfygb+C01Ar9A=",
+        "lastModified": 1721316629,
+        "narHash": "sha256-Iq161QQX78LtJnDyOm2zv0c+leGBb/bo0laKsk86pUo=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "3ecef6a3bf991a95ac3dba2900a721bbcd5f5ce7",
+        "rev": "8d61e69a3cc73ae15306775bb2e97ec31247690a",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.32",
+        "ref": "v0.1.46",
         "repo": "haskell-backend",
         "type": "github"
       }
@@ -446,16 +446,16 @@
         "z3": "z3_3"
       },
       "locked": {
-        "lastModified": 1720572621,
-        "narHash": "sha256-/j0swzk75vBmtYE62t044W7tCRULxwYfygb+C01Ar9A=",
+        "lastModified": 1721316629,
+        "narHash": "sha256-Iq161QQX78LtJnDyOm2zv0c+leGBb/bo0laKsk86pUo=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "3ecef6a3bf991a95ac3dba2900a721bbcd5f5ce7",
+        "rev": "8d61e69a3cc73ae15306775bb2e97ec31247690a",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.32",
+        "ref": "v0.1.46",
         "repo": "haskell-backend",
         "type": "github"
       }
@@ -533,16 +533,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1721415807,
-        "narHash": "sha256-t40w+kcFV1UjjJkfUlm4faknV2V8ITTPLhwElBvPyKY=",
+        "lastModified": 1721644933,
+        "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "4ddedd23e89c659c6219589178031ff69e6f8843",
+        "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.70",
+        "ref": "v7.1.72",
         "repo": "k",
         "type": "github"
       }
@@ -572,16 +572,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1721415807,
-        "narHash": "sha256-t40w+kcFV1UjjJkfUlm4faknV2V8ITTPLhwElBvPyKY=",
+        "lastModified": 1721644933,
+        "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "4ddedd23e89c659c6219589178031ff69e6f8843",
+        "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.70",
+        "ref": "v7.1.72",
         "repo": "k",
         "type": "github"
       }
@@ -614,16 +614,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1721415807,
-        "narHash": "sha256-t40w+kcFV1UjjJkfUlm4faknV2V8ITTPLhwElBvPyKY=",
+        "lastModified": 1721644933,
+        "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "4ddedd23e89c659c6219589178031ff69e6f8843",
+        "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.70",
+        "ref": "v7.1.72",
         "repo": "k",
         "type": "github"
       }
@@ -662,16 +662,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1721409969,
-        "narHash": "sha256-D9F6JhSsDOwGx6/ysi4O7d+A3aGNliEXOKgXvViRD00=",
+        "lastModified": 1721505758,
+        "narHash": "sha256-eZak/AaPOGTeiihbDWRCe4SeQfC9br1GCynx1neIL/Q=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "ed79b7ead98fff940ef683e61653d4d30a47b663",
+        "rev": "548a54ccb12c9f3fff37914d46f0879a88f41590",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.59",
+        "ref": "v0.1.60",
         "repo": "llvm-backend",
         "type": "github"
       }
@@ -694,16 +694,16 @@
         "utils": "utils_2"
       },
       "locked": {
-        "lastModified": 1721409969,
-        "narHash": "sha256-D9F6JhSsDOwGx6/ysi4O7d+A3aGNliEXOKgXvViRD00=",
+        "lastModified": 1721505758,
+        "narHash": "sha256-eZak/AaPOGTeiihbDWRCe4SeQfC9br1GCynx1neIL/Q=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "ed79b7ead98fff940ef683e61653d4d30a47b663",
+        "rev": "548a54ccb12c9f3fff37914d46f0879a88f41590",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.59",
+        "ref": "v0.1.60",
         "repo": "llvm-backend",
         "type": "github"
       }
@@ -727,16 +727,16 @@
         "utils": "utils_3"
       },
       "locked": {
-        "lastModified": 1721409969,
-        "narHash": "sha256-D9F6JhSsDOwGx6/ysi4O7d+A3aGNliEXOKgXvViRD00=",
+        "lastModified": 1721505758,
+        "narHash": "sha256-eZak/AaPOGTeiihbDWRCe4SeQfC9br1GCynx1neIL/Q=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "ed79b7ead98fff940ef683e61653d4d30a47b663",
+        "rev": "548a54ccb12c9f3fff37914d46f0879a88f41590",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.59",
+        "ref": "v0.1.60",
         "repo": "llvm-backend",
         "type": "github"
       }
@@ -853,16 +853,16 @@
         "wasm-semantics": "wasm-semantics"
       },
       "locked": {
-        "lastModified": 1721426538,
-        "narHash": "sha256-rWqirsKqZvsS7iOO2aMwzcAhdFc3bVnrtHfwr83lilQ=",
+        "lastModified": 1721683432,
+        "narHash": "sha256-/CY/2F8mWA6O7n7GZw2Rk6i8ccqve4NQYkvBBau/BKQ=",
         "owner": "runtimeverification",
         "repo": "mx-semantics",
-        "rev": "52dc83d06c967c5377bdda1caa3a6f212da0fef0",
+        "rev": "be78362547dbfdd7573a55bc3204cd011ae9f155",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.99",
+        "ref": "v0.1.100",
         "repo": "mx-semantics",
         "type": "github"
       }
@@ -1332,17 +1332,17 @@
       },
       "locked": {
         "dir": "pyk",
-        "lastModified": 1721415807,
-        "narHash": "sha256-t40w+kcFV1UjjJkfUlm4faknV2V8ITTPLhwElBvPyKY=",
+        "lastModified": 1721644933,
+        "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "4ddedd23e89c659c6219589178031ff69e6f8843",
+        "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f",
         "type": "github"
       },
       "original": {
         "dir": "pyk",
         "owner": "runtimeverification",
-        "ref": "v7.1.70",
+        "ref": "v7.1.72",
         "repo": "k",
         "type": "github"
       }
@@ -1364,17 +1364,17 @@
       },
       "locked": {
         "dir": "pyk",
-        "lastModified": 1721415807,
-        "narHash": "sha256-t40w+kcFV1UjjJkfUlm4faknV2V8ITTPLhwElBvPyKY=",
+        "lastModified": 1721644933,
+        "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "4ddedd23e89c659c6219589178031ff69e6f8843",
+        "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f",
         "type": "github"
       },
       "original": {
         "dir": "pyk",
         "owner": "runtimeverification",
-        "ref": "v7.1.70",
+        "ref": "v7.1.72",
         "repo": "k",
         "type": "github"
       }
@@ -1519,11 +1519,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1721355572,
-        "narHash": "sha256-I4TQ2guV9jTmZsXeWt5HMojcaqNZHII4zu0xIKZEovM=",
+        "lastModified": 1721614891,
+        "narHash": "sha256-1yGOh8w/yhWAZ2NJR9N/shQ1tx2n9fmGe0XrDE00i9U=",
         "owner": "oxalica",
         "repo": "rust-overlay",
-        "rev": "d5bc7b1b21cf937fb8ff108ae006f6776bdb163d",
+        "rev": "424a759557ed4c01cf9dbbf79a714150d64a90ad",
         "type": "github"
       },
       "original": {
@@ -2138,16 +2138,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1721420747,
-        "narHash": "sha256-CPBRvLT9ygl4IxzZyyc5A6ZrIFiZxQF9nAbmTwbsRRU=",
+        "lastModified": 1721679966,
+        "narHash": "sha256-7edxmlZgr2BORHeRKRe9NVIbq4yhFc6SDV5qGY0ClU8=",
         "owner": "runtimeverification",
         "repo": "wasm-semantics",
-        "rev": "89bdf389bd49fd4ebab38c48c78e2c3df1927324",
+        "rev": "f0734bc8c1a7beb3efd8ebc678c7b2e33c1af783",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.89",
+        "ref": "v0.1.90",
         "repo": "wasm-semantics",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index f0877f02..d04c55a0 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.70";
-    pyk.url = "github:runtimeverification/k/v7.1.70?dir=pyk";
+    k-framework.url = "github:runtimeverification/k/v7.1.72";
+    pyk.url = "github:runtimeverification/k/v7.1.72?dir=pyk";
     nixpkgs-pyk.follows = "pyk/nixpkgs";
     poetry2nix.follows = "pyk/poetry2nix";
-    mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.99";
+    mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.100";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.url = "github:runtimeverification/rv-nix-tools";