Code

Update dependency: deps/k_release#2768

Code

Merged

automergerpr-permission-manager[bot] merged 6 commits intomasterruntimeverification/evm-semantics:masterfrom

_update-deps/runtimeverification/kruntimeverification/evm-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboard

May 27, 2025

Commits

Commits on May 26, 2025

• deps/k_release: Set Version 7.1.261

  rv-auditor

  committed
  9f071cd

  Copy full SHA for 9f071cd

• kevm-pyk/: sync poetry files pyk version 7.1.261

  rv-auditor

  committed
  8294251

  Copy full SHA for 8294251

• flake.{nix,lock}: update Nix derivations

  rv-auditor

  committed
  7d4e928

  Copy full SHA for 7d4e928

Commits on May 27, 2025

• deps/k_release: Set Version 7.1.262

  rv-auditor

  committed
  7052096

  Copy full SHA for 7052096

• kevm-pyk/: sync poetry files pyk version 7.1.262

  rv-auditor

  committed
  e01b9fc

  Copy full SHA for e01b9fc

• flake.{nix,lock}: update Nix derivations

  rv-auditor

  committed
  a11eedb

  Copy full SHA for a11eedb