Code

Update dependency: deps/kevm_release#903

Code

Merged

automergerpr-permission-manager[bot] merged 4 commits intomasterruntimeverification/kontrol:masterfrom _update-deps/runtimeverification/evm-semanticsruntimeverification/kontrol:_update-deps/runtimeverification/evm-semanticsCopy head branch name to clipboardDec 5, 2024

Commits

Commits on Dec 5, 2024

• deps/kevm_release: Set Version 1.0.758

  rv-auditor

  committed
  f3c0464

  Copy full SHA for f3c0464

• Sync Poetry files: kevm-pyk version 1.0.758

  rv-auditor

  committed
  9199b4a

  Copy full SHA for 9199b4a

• deps/k_release: sync release file version 7.1.184

  rv-auditor

  committed
  7f254f1

  Copy full SHA for 7f254f1

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

  rv-auditor

  committed
  ca3bc6c

  Copy full SHA for ca3bc6c