Code

Update dependency: deps/kevm_release#961

Code

Open

rv-jenkins wants to merge 3 commits intomasterruntimeverification/kontrol:masterfrom _update-deps/runtimeverification/evm-semanticsruntimeverification/kontrol:_update-deps/runtimeverification/evm-semanticsCopy head branch name to clipboard

+51-15

Commits

Commits on Feb 6, 2025

• deps/kevm_release: Set Version 1.0.793

  

  devops

  committed
  dbb7e14

  Copy full SHA for dbb7e14

• Sync Poetry files: kevm-pyk version 1.0.793

  

  devops

  committed
  e201746

  Copy full SHA for e201746

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

  

  devops

  committed
  017e383

  Copy full SHA for 017e383