Code

Update dependency: deps/kevm_release#895

Code

Merged

rv-jenkins merged 3 commits intomasterruntimeverification/kontrol:masterfrom _update-deps/runtimeverification/evm-semanticsruntimeverification/kontrol:_update-deps/runtimeverification/evm-semanticsCopy head branch name to clipboardNov 26, 2024

+11-11

Commits

Commits on Nov 26, 2024

• deps/kevm_release: Set Version 1.0.755

  

  devops

  committed
  5e7fd9a

• Sync Poetry files: kevm-pyk version 1.0.755

  

  devops

  committed
  b5218c5

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

  

  devops

  committed
  44e93ee