Code

Update dependency: deps/kevm_release#911

Code

Merged

PetarMax merged 7 commits intomasterruntimeverification/kontrol:masterfrom _update-deps/runtimeverification/evm-semanticsruntimeverification/kontrol:_update-deps/runtimeverification/evm-semanticsCopy head branch name to clipboardDec 16, 2024

+200-186

Commits

Commits on Dec 16, 2024

• deps/kevm_release: Set Version 1.0.760

  

  devops

  authored and

  Stevengre

  committed
  3f480c2

• Sync Poetry files: kevm-pyk version 1.0.760

  

  devops

  authored and

  Stevengre

  committed
  53d961b

• deps/k_release: sync release file version 7.1.186

  

  devops

  authored and

  Stevengre

  committed
  a41de50

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

  

  devops

  authored and

  Stevengre

  committed
  8d2fd0e

• Sync Poetry files: kevm-pyk version 1.0.760

  

  devops

  committed
  4aae5f4

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

  PetarMax

  authored
  118006f

• Sync Poetry files: kevm-pyk version 1.0.760

  

  devops

  committed
  0cbb7ab