diff --git a/flake.lock b/flake.lock
index bfbbf79b..d9fe3039 100644
--- a/flake.lock
+++ b/flake.lock
@@ -380,16 +380,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1721316629,
-        "narHash": "sha256-Iq161QQX78LtJnDyOm2zv0c+leGBb/bo0laKsk86pUo=",
+        "lastModified": 1721890597,
+        "narHash": "sha256-9UkFS+/Fv7bIwqNVzifSaH3MyI+LaTvpeZ1Oc8K0o0M=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "8d61e69a3cc73ae15306775bb2e97ec31247690a",
+        "rev": "6d3ab26f2c539cbeff152040fa1ea716df6a21ad",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.46",
+        "ref": "v0.1.48",
         "repo": "haskell-backend",
         "type": "github"
       }
@@ -412,16 +412,16 @@
         "z3": "z3_2"
       },
       "locked": {
-        "lastModified": 1721316629,
-        "narHash": "sha256-Iq161QQX78LtJnDyOm2zv0c+leGBb/bo0laKsk86pUo=",
+        "lastModified": 1721890597,
+        "narHash": "sha256-9UkFS+/Fv7bIwqNVzifSaH3MyI+LaTvpeZ1Oc8K0o0M=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "8d61e69a3cc73ae15306775bb2e97ec31247690a",
+        "rev": "6d3ab26f2c539cbeff152040fa1ea716df6a21ad",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.46",
+        "ref": "v0.1.48",
         "repo": "haskell-backend",
         "type": "github"
       }
@@ -446,16 +446,16 @@
         "z3": "z3_3"
       },
       "locked": {
-        "lastModified": 1721316629,
-        "narHash": "sha256-Iq161QQX78LtJnDyOm2zv0c+leGBb/bo0laKsk86pUo=",
+        "lastModified": 1721890597,
+        "narHash": "sha256-9UkFS+/Fv7bIwqNVzifSaH3MyI+LaTvpeZ1Oc8K0o0M=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "8d61e69a3cc73ae15306775bb2e97ec31247690a",
+        "rev": "6d3ab26f2c539cbeff152040fa1ea716df6a21ad",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.46",
+        "ref": "v0.1.48",
         "repo": "haskell-backend",
         "type": "github"
       }
@@ -533,16 +533,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1721644933,
-        "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=",
+        "lastModified": 1721994129,
+        "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f",
+        "rev": "698b7841eed570f20ece3de01a2cb1c47933df16",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.72",
+        "ref": "v7.1.83",
         "repo": "k",
         "type": "github"
       }
@@ -572,16 +572,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1721644933,
-        "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=",
+        "lastModified": 1721994129,
+        "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f",
+        "rev": "698b7841eed570f20ece3de01a2cb1c47933df16",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.72",
+        "ref": "v7.1.83",
         "repo": "k",
         "type": "github"
       }
@@ -614,16 +614,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1721644933,
-        "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=",
+        "lastModified": 1721994129,
+        "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f",
+        "rev": "698b7841eed570f20ece3de01a2cb1c47933df16",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.72",
+        "ref": "v7.1.83",
         "repo": "k",
         "type": "github"
       }
@@ -662,16 +662,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1721505758,
-        "narHash": "sha256-eZak/AaPOGTeiihbDWRCe4SeQfC9br1GCynx1neIL/Q=",
+        "lastModified": 1721983376,
+        "narHash": "sha256-pP56X9zoqV+x6QdjIHWH7gcXcwhz+Q08yD8RwBqiIRQ=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "548a54ccb12c9f3fff37914d46f0879a88f41590",
+        "rev": "79011fff66455dd451d39821534bd58f5468227b",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.60",
+        "ref": "v0.1.64",
         "repo": "llvm-backend",
         "type": "github"
       }
@@ -694,16 +694,16 @@
         "utils": "utils_2"
       },
       "locked": {
-        "lastModified": 1721505758,
-        "narHash": "sha256-eZak/AaPOGTeiihbDWRCe4SeQfC9br1GCynx1neIL/Q=",
+        "lastModified": 1721983376,
+        "narHash": "sha256-pP56X9zoqV+x6QdjIHWH7gcXcwhz+Q08yD8RwBqiIRQ=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "548a54ccb12c9f3fff37914d46f0879a88f41590",
+        "rev": "79011fff66455dd451d39821534bd58f5468227b",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.60",
+        "ref": "v0.1.64",
         "repo": "llvm-backend",
         "type": "github"
       }
@@ -727,16 +727,16 @@
         "utils": "utils_3"
       },
       "locked": {
-        "lastModified": 1721505758,
-        "narHash": "sha256-eZak/AaPOGTeiihbDWRCe4SeQfC9br1GCynx1neIL/Q=",
+        "lastModified": 1721983376,
+        "narHash": "sha256-pP56X9zoqV+x6QdjIHWH7gcXcwhz+Q08yD8RwBqiIRQ=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "548a54ccb12c9f3fff37914d46f0879a88f41590",
+        "rev": "79011fff66455dd451d39821534bd58f5468227b",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.60",
+        "ref": "v0.1.64",
         "repo": "llvm-backend",
         "type": "github"
       }
@@ -853,16 +853,16 @@
         "wasm-semantics": "wasm-semantics"
       },
       "locked": {
-        "lastModified": 1721985897,
-        "narHash": "sha256-39jMiHRASDrqjP8UTiBs2kcI6W5Pb+LYb5i20Xrxg3Y=",
+        "lastModified": 1722006139,
+        "narHash": "sha256-6vh21D1d+QBP5j3XcbNLIQnyRkNYrXjV8IM0ZwgWZso=",
         "owner": "runtimeverification",
         "repo": "mx-semantics",
-        "rev": "b68f34001df2c47280c129ea97d2ee393ee5add8",
+        "rev": "a7371e5d242436ac7b6dacc49968abaa48325bcf",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.102",
+        "ref": "v0.1.103",
         "repo": "mx-semantics",
         "type": "github"
       }
@@ -1332,17 +1332,17 @@
       },
       "locked": {
         "dir": "pyk",
-        "lastModified": 1721644933,
-        "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=",
+        "lastModified": 1721994129,
+        "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f",
+        "rev": "698b7841eed570f20ece3de01a2cb1c47933df16",
         "type": "github"
       },
       "original": {
         "dir": "pyk",
         "owner": "runtimeverification",
-        "ref": "v7.1.72",
+        "ref": "v7.1.83",
         "repo": "k",
         "type": "github"
       }
@@ -1364,17 +1364,17 @@
       },
       "locked": {
         "dir": "pyk",
-        "lastModified": 1721644933,
-        "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=",
+        "lastModified": 1721994129,
+        "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f",
+        "rev": "698b7841eed570f20ece3de01a2cb1c47933df16",
         "type": "github"
       },
       "original": {
         "dir": "pyk",
         "owner": "runtimeverification",
-        "ref": "v7.1.72",
+        "ref": "v7.1.83",
         "repo": "k",
         "type": "github"
       }
@@ -2138,16 +2138,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1721679966,
-        "narHash": "sha256-7edxmlZgr2BORHeRKRe9NVIbq4yhFc6SDV5qGY0ClU8=",
+        "lastModified": 1722003932,
+        "narHash": "sha256-NmAEThTFqPHV4H2O00ze2ii2I8gAGU3JQK9x6qSK8HY=",
         "owner": "runtimeverification",
         "repo": "wasm-semantics",
-        "rev": "f0734bc8c1a7beb3efd8ebc678c7b2e33c1af783",
+        "rev": "2344e9c97d259acf810c64497c0e7367bcc058b4",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.90",
+        "ref": "v0.1.94",
         "repo": "wasm-semantics",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 3e1f8591..2e87991c 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.72";
-    pyk.url = "github:runtimeverification/k/v7.1.72?dir=pyk";
+    k-framework.url = "github:runtimeverification/k/v7.1.83";
+    pyk.url = "github:runtimeverification/k/v7.1.83?dir=pyk";
     nixpkgs-pyk.follows = "pyk/nixpkgs";
     poetry2nix.follows = "pyk/poetry2nix";
-    mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.102";
+    mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.103";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.url = "github:runtimeverification/rv-nix-tools";