Code

Update dependency: deps/k_release#2694

Code

Merged

Stevengre merged 3 commits intomasterruntimeverification/evm-semantics:masterfrom _update-deps/runtimeverification/kruntimeverification/evm-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboardJan 24, 2025

+25-25

Commits

Commits on Jan 23, 2025

• deps/k_release: Set Version 7.1.207

  rv-auditor

  committed
  50afca3

  Copy full SHA for 50afca3

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

  rv-auditor

  committed
  3344fbb

  Copy full SHA for 3344fbb

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

  rv-auditor

  committed
  eb70480

  Copy full SHA for eb70480