diff --git a/flake.lock b/flake.lock
index 15e0e166..f2f1ba99 100644
--- a/flake.lock
+++ b/flake.lock
@@ -49,17 +49,17 @@
         "xbyak": "xbyak"
       },
       "locked": {
-        "lastModified": 1725480100,
-        "narHash": "sha256-2gTqoktcvJUAmH4ES0B+r0BNt0PLPEYnCbZQxcIuJUA=",
+        "lastModified": 1727193689,
+        "narHash": "sha256-86azbaa/R/Euf9bXqLVW3Wiv5prJuE9jX0/xj4wBblg=",
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "a18c1d424957f794a1254d7e560712749c2aeb10",
+        "rev": "9573fe0783b471d44d2bb93919fb521ada123f40",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "a18c1d424957f794a1254d7e560712749c2aeb10",
+        "rev": "9573fe0783b471d44d2bb93919fb521ada123f40",
         "type": "github"
       }
     },
@@ -208,11 +208,11 @@
         "systems": "systems_4"
       },
       "locked": {
-        "lastModified": 1694529238,
-        "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=",
+        "lastModified": 1710146030,
+        "narHash": "sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "ff7b65b44d01cf9ba6a71320833626af21126384",
+        "rev": "b1d9ab70662946ef0850d488da1c9019f3a9752a",
         "type": "github"
       },
       "original": {
@@ -403,16 +403,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1725395202,
-        "narHash": "sha256-UCMS6H8zIjFzN4xAXdCNcW7UChAp9knpRnscTg5z+jA=",
+        "lastModified": 1726963552,
+        "narHash": "sha256-01rb87Oc9cDh1MinneK/c96DbdQMVwnym9uYz1gKec4=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "42e03545c319847e7df84e6fbc196b2f51c148a0",
+        "rev": "7e06a35da4f5f757a8373c6cbf83e86f492bc75a",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.131",
+        "ref": "v7.1.149",
         "repo": "k",
         "type": "github"
       }
@@ -495,16 +495,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1724355360,
-        "narHash": "sha256-wy+g2rVUn2dYoZ/JSA8x0cWNWYDxnxLpAzaucjUBciQ=",
+        "lastModified": 1726776150,
+        "narHash": "sha256-A4OX0ZV4/AS+tztmLG52v/ayMV43WscbF6lLKOaoPrw=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "b9d2a6da360e2b14a60a22928d625f43fb71ae02",
+        "rev": "c023bc5eb734c1718243d66613044e895e8fcf7e",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.84",
+        "ref": "v0.1.94",
         "repo": "llvm-backend",
         "type": "github"
       }
@@ -622,16 +622,16 @@
         "wasm-semantics": "wasm-semantics"
       },
       "locked": {
-        "lastModified": 1726133159,
-        "narHash": "sha256-XLhr6Tt6YM8egMgLjJmmEBn9v/0bErecSzsENmrH5nw=",
+        "lastModified": 1727197340,
+        "narHash": "sha256-WqjASf3l/usPqXH7XLfzPOERimOM0/Ww8NFZk7lTPdI=",
         "owner": "runtimeverification",
         "repo": "mx-semantics",
-        "rev": "8944a546a566a0215d92220cf5db8f0dd7ce36f8",
+        "rev": "531a3356383693a88ca3d48bc2e6d661ff46c874",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.115",
+        "ref": "v0.1.116",
         "repo": "mx-semantics",
         "type": "github"
       }
@@ -647,11 +647,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1693660503,
-        "narHash": "sha256-B/g2V4v6gjirFmy+I5mwB2bCYc0l3j5scVfwgl6WOl8=",
+        "lastModified": 1703863825,
+        "narHash": "sha256-rXwqjtwiGKJheXB43ybM8NwWB8rO2dSRrEqes0S7F5Y=",
         "owner": "nix-community",
         "repo": "nix-github-actions",
-        "rev": "bd5bdbb52350e145c526108f4ef192eb8e554fa0",
+        "rev": "5163432afc817cf8bd1f031418d1869e4c9d5547",
         "type": "github"
       },
       "original": {
@@ -961,11 +961,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1726107922,
-        "narHash": "sha256-G8P6YT/U55G4YILkL/I0NaEqYYoL05Rfs7y/tI4mqqI=",
+        "lastModified": 1727144949,
+        "narHash": "sha256-uMZMjoCS2nf40TAE1686SJl3OXWfdfM+BDEfRdr+uLc=",
         "owner": "oxalica",
         "repo": "rust-overlay",
-        "rev": "fb1cf4398436a12f1f8b07da08d94fc72fcb1a69",
+        "rev": "2e19799819104b46019d339e78d21c14372d3666",
         "type": "github"
       },
       "original": {
@@ -1187,11 +1187,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1697388351,
-        "narHash": "sha256-63N2eBpKaziIy4R44vjpUu8Nz5fCJY7okKrkixvDQmY=",
+        "lastModified": 1719749022,
+        "narHash": "sha256-ddPKHcqaKCIFSFc/cvxS14goUhCOAwsM1PbMr0ZtHMg=",
         "owner": "numtide",
         "repo": "treefmt-nix",
-        "rev": "aae39f64f5ecbe89792d05eacea5cb241891292a",
+        "rev": "8df5ff62195d4e67e2264df0b7f5e8c9995fd0bd",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index c98f2093..95beb84c 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
   description = "kmxwasm - Symbolic execution for the MulitversX blockchain with the Wasm semantics, using pyk.";
 
   inputs = {
-    mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.115";
+    mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.116";
     k-framework.follows = "mx-semantics/k-framework";
     poetry2nix.follows = "k-framework/poetry2nix";
     nixpkgs.follows = "k-framework/nixpkgs";