Merge branch 'master' into eip-7623

Author: anvacaru

.github/workflows/update-version.yml

@@ -4,6 +4,7 @@ on:
     branches:
       - '_update-deps/runtimeverification/blockchain-k-plugin'
       - '_update-deps/runtimeverification/k'
+      - '_update-deps/runtimeverification/rv-nix-tools'
   workflow_dispatch:
 # Stop in progress workflows on the same branch and same workflow to use latest committed code
 concurrency:
@@ -52,8 +53,10 @@ jobs:
         run: |
           K_VERSION=v$(cat deps/k_release)
           BKP_VERSION=$(cat deps/blockchain-k-plugin_release)
+          RV_NIX_TOOLS_VERSION=$(cat deps/rv-nix-tools)
           sed -i 's!    k-framework.url = "github:runtimeverification/k/[v0-9\.]*"!    k-framework.url = "github:runtimeverification/k/'"${K_VERSION}"'"!' flake.nix
           sed -i 's!        "github:runtimeverification/blockchain-k-plugin/[0-9a-f]*"!        "github:runtimeverification/blockchain-k-plugin/'"${BKP_VERSION}"'"!' flake.nix
+          sed -i 's!    rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/[a-z0-9\.]*"!    rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/'"${RV_NIX_TOOLS_VERSION}"'"!' flake.nix
           nix run .#update-from-submodules
           nix flake update
           git add flake.nix flake.lock && git commit -m 'flake.{nix,lock}: update Nix derivations' || true

deps/blockchain-k-plugin_release

@@ -1 +1 @@
-c7d635c68b2146f6797262f7206646020bbb1e76
+f159396d0f16b88c86c557c47f7ae36ffc59dc53

deps/k_release

@@ -1 +1 @@
-7.1.249
+7.1.268

deps/rv-nix-tools

@@ -0,0 +1 @@
+854d4f05ea78547d46e807b414faad64cea10ae4