Code

Update dependency: deps/kevm_release#898

Code

Merged

anvacaru merged 4 commits intomasterruntimeverification/kontrol:masterfrom _update-deps/runtimeverification/evm-semanticsruntimeverification/kontrol:_update-deps/runtimeverification/evm-semanticsCopy head branch name to clipboardNov 29, 2024

+62-32

Commits

Commits on Nov 29, 2024

• deps/kevm_release: Set Version 1.0.757

  

  devops

  committed
  a1717ad

• Sync Poetry files: kevm-pyk version 1.0.757

  

  devops

  committed
  c825d57

• deps/k_release: sync release file version 7.1.180

  

  devops

  committed
  584f5fd

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

  

  devops

  committed
  a93f838