Code

Update dependency: deps/kevm_release#924

Code

Merged

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

+239-150

Commits

Commits on Jan 6, 2025

• deps/kevm_release: Set Version 1.0.766

  

  devops

  committed
  04f7f6b

  Copy full SHA for 04f7f6b

• Sync Poetry files: kevm-pyk version 1.0.766

  

  devops

  committed
  3cfe018

  Copy full SHA for 3cfe018

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

  

  devops

  committed
  44b8be8

  Copy full SHA for 44b8be8

• deps/kevm_release: Set Version 1.0.767

  

  devops

  committed
  d8b35a0

  Copy full SHA for d8b35a0

• Sync Poetry files: kevm-pyk version 1.0.767

  

  devops

  committed
  eba5100

  Copy full SHA for eba5100

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

  

  devops

  committed
  d162183

  Copy full SHA for d162183

Commits on Jan 7, 2025

• deps/kevm_release: Set Version 1.0.768

  

  devops

  committed
  8ff221d

  Copy full SHA for 8ff221d

• Sync Poetry files: kevm-pyk version 1.0.768

  

  devops

  committed
  01d2463

  Copy full SHA for 01d2463

• deps/k_release: sync release file version 7.1.196

  

  devops

  committed
  e4a2219

  Copy full SHA for e4a2219

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

  

  devops

  committed
  26bb1d3

  Copy full SHA for 26bb1d3