Code

Update dependency: deps/kevm_release#917

Code

Merged

automergerpr-permission-manager[bot] merged 11 commits intomasterruntimeverification/kontrol:masterfrom _update-deps/runtimeverification/evm-semanticsruntimeverification/kontrol:_update-deps/runtimeverification/evm-semanticsCopy head branch name to clipboardDec 17, 2024

+27-27

Commits

Commits on Dec 16, 2024

• deps/kevm_release: Set Version 1.0.761

  

  devops

  committed
  7ad2e67

  Copy full SHA for 7ad2e67

• Sync Poetry files: kevm-pyk version 1.0.761

  

  devops

  committed
  a43d29d

  Copy full SHA for a43d29d

• deps/k_release: sync release file version 7.1.187

  

  devops

  committed
  0ec7425

  Copy full SHA for 0ec7425

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

  

  devops

  committed
  e9b4962

  Copy full SHA for e9b4962

• deps/kevm_release: Set Version 1.0.762

  

  devops

  committed
  89f4ff3

  Copy full SHA for 89f4ff3

• Sync Poetry files: kevm-pyk version 1.0.762

  

  devops

  committed
  1924b16

  Copy full SHA for 1924b16

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

  

  devops

  committed
  b7fed0d

  Copy full SHA for b7fed0d

Commits on Dec 17, 2024

• deps/kevm_release: Set Version 1.0.763

  

  devops

  committed
  f78211e

  Copy full SHA for f78211e

• Sync Poetry files: kevm-pyk version 1.0.763

  

  devops

  committed
  1a9a553

  Copy full SHA for 1a9a553

• deps/k_release: sync release file version 7.1.190

  

  devops

  committed
  8008213

  Copy full SHA for 8008213

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

  

  devops

  committed
  5a9e9c8

  Copy full SHA for 5a9e9c8