Code

Update dependency: deps/kevm_release#933

Code

Merged

anvacaru merged 11 commits intomasterruntimeverification/kontrol:masterfrom _update-deps/runtimeverification/evm-semanticsruntimeverification/kontrol:_update-deps/runtimeverification/evm-semanticsCopy head branch name to clipboardJan 20, 2025

+28-28

Commits

Commits on Jan 17, 2025

• deps/kevm_release: Set Version 1.0.773

  

  devops

  committed
  68ebaca

  Copy full SHA for 68ebaca

• Sync Poetry files: kevm-pyk version 1.0.773

  

  devops

  committed
  bd66872

  Copy full SHA for bd66872

• deps/k_release: sync release file version 7.1.199

  

  devops

  committed
  904dff6

  Copy full SHA for 904dff6

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

  

  devops

  committed
  c126ac6

  Copy full SHA for c126ac6

• deps/kevm_release: Set Version 1.0.774

  

  devops

  committed
  fb6b538

  Copy full SHA for fb6b538

• Sync Poetry files: kevm-pyk version 1.0.774

  

  devops

  committed
  542a23e

  Copy full SHA for 542a23e

• deps/k_release: sync release file version 7.1.201

  

  devops

  committed
  4743d0c

  Copy full SHA for 4743d0c

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

  

  devops

  committed
  62e8574

  Copy full SHA for 62e8574

• deps/kevm_release: Set Version 1.0.775

  

  devops

  committed
  00a9c05

  Copy full SHA for 00a9c05

• Sync Poetry files: kevm-pyk version 1.0.775

  

  devops

  committed
  7b96acf

  Copy full SHA for 7b96acf

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

  

  devops

  committed
  965f4c7

  Copy full SHA for 965f4c7