Code

Update dependency: deps/kevm_release#951

Code

Merged

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

+11-11

Commits

Commits on Jan 28, 2025

• deps/kevm_release: Set Version 1.0.786

  

  devops

  committed
  d263dca

  Copy full SHA for d263dca

• Sync Poetry files: kevm-pyk version 1.0.786

  

  devops

  committed
  9388ebc

  Copy full SHA for 9388ebc

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

  

  devops

  committed
  763c18d

  Copy full SHA for 763c18d

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

  palinatolmach

  authored
  4142df8

  Copy full SHA for 4142df8

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

  automergerpr-permission-manager[bot]

  authored
  f6567d2

  Copy full SHA for f6567d2