Code

Update dependency: deps/kevm_release#625

Code

Merged

rv-jenkins merged 6 commits intomasterruntimeverification/kontrol:masterfrom _update-deps/runtimeverification/evm-semanticsruntimeverification/kontrol:_update-deps/runtimeverification/evm-semanticsCopy head branch name to clipboardJun 12, 2024

+14-14

Commits

Commits on Jun 12, 2024

• deps/kevm_release: Set Version 1.0.600

  

  devops

  committed
  eb9f2ef

  Copy full SHA for eb9f2ef

• Set Version: 0.1.311

  

  devops

  committed
  8b6b78d

  Copy full SHA for 8b6b78d

• Sync Poetry files: kevm-pyk version 1.0.600

  

  devops

  committed
  010c133

  Copy full SHA for 010c133

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

  

  devops

  committed
  0f46bb2

  Copy full SHA for 0f46bb2

• Merge branch 'master' into _update-deps/runtimeverification/evm-semantics

  palinatolmach

  authored
  e0ae7ea

  Copy full SHA for e0ae7ea

• Set Version: 0.1.312

  

  devops

  committed
  416b57a

  Copy full SHA for 416b57a