Merge remote-tracking branch 'origin/master' into eip-7702

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

README.md

@@ -26,7 +26,7 @@ These may be useful for learning KEVM and K (newest to oldest):
 
 To get support for KEVM, please join our [Discord Channel](https://discord.com/invite/CurfmXNtbN).
 
-If you want to start proving with KEVM, refer to [VERIFICATION.md].
+If you want to start proving with KEVM, refer to [tests/specs/examples/README.md].
 
 Repository Structure
 --------------------
@@ -355,4 +355,4 @@ For more information about the [K Framework], refer to these sources:
 [eDSL]: <https://github.com/runtimeverification/verified-smart-contracts/blob/master/resources/edsl.md>
 [kup package manager]: <https://github.com/runtimeverification/kup>
 [Makefile]: <./Makefile>
-[VERIFICATION.md]: <./VERIFICATION.md>
+[tests/specs/examples/README.md]: <./tests/specs/examples/README.md>

deps/blockchain-k-plugin_release

@@ -1 +1 @@
-1fda07d61df64ef9ae2ea87e6f767a02d30d4599
+f159396d0f16b88c86c557c47f7ae36ffc59dc53

deps/k_release

@@ -1 +1 @@
-7.1.262
+7.1.273

deps/rv-nix-tools

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