Merge remote-tracking branch 'origin/master' into release

rv-auditor · rv-auditor · commit 7be313a59546 · 2025-06-18T07:02:03.000Z
diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release
@@ -1 +1 @@
-1fda07d61df64ef9ae2ea87e6f767a02d30d4599
+f159396d0f16b88c86c557c47f7ae36ffc59dc53
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -12,7 +12,7 @@
     poetry2nix.inputs.nixpkgs.follows = "nixpkgs";
     blockchain-k-plugin = {
       url =
-        "github:runtimeverification/blockchain-k-plugin/1fda07d61df64ef9ae2ea87e6f767a02d30d4599";
+        "github:runtimeverification/blockchain-k-plugin/f159396d0f16b88c86c557c47f7ae36ffc59dc53";
       inputs.flake-utils.follows = "k-framework/flake-utils";
       inputs.nixpkgs.follows = "nixpkgs";
     };
diff --git a/kevm-pyk/src/kevm_pyk/kproj/plugin b/kevm-pyk/src/kevm_pyk/kproj/plugin
@@ -1 +1 @@
-Subproject commit 1fda07d61df64ef9ae2ea87e6f767a02d30d4599
+Subproject commit f159396d0f16b88c86c557c47f7ae36ffc59dc53
