Code

Update dependency: deps/kevm_release#942

Code

Open

rv-jenkins wants to merge 11 commits intomasterruntimeverification/kontrol:masterfrom _update-deps/runtimeverification/evm-semanticsruntimeverification/kontrol:_update-deps/runtimeverification/evm-semanticsCopy head branch name to clipboard

+20-20

Commits

Commits on Jan 23, 2025

• deps/kevm_release: Set Version 1.0.781

  

  devops

  committed
  91250bb

  Copy full SHA for 91250bb

• Sync Poetry files: kevm-pyk version 1.0.781

  

  devops

  committed
  e430f08

  Copy full SHA for e430f08

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

  

  devops

  committed
  66cbbc7

  Copy full SHA for 66cbbc7

• deps/kevm_release: Set Version 1.0.782

  

  devops

  committed
  2d829cd

  Copy full SHA for 2d829cd

• Sync Poetry files: kevm-pyk version 1.0.782

  

  devops

  committed
  2e766eb

  Copy full SHA for 2e766eb

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

  

  devops

  committed
  77ea6d2

  Copy full SHA for 77ea6d2

Commits on Jan 24, 2025

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

  

  devops

  committed
  a8e0daa

  Copy full SHA for a8e0daa

• deps/kevm_release: Set Version 1.0.783

  

  devops

  committed
  b6c95dc

  Copy full SHA for b6c95dc

• Sync Poetry files: kevm-pyk version 1.0.783

  

  devops

  committed
  7cc90f8

  Copy full SHA for 7cc90f8

• deps/k_release: sync release file version 7.1.207

  

  devops

  committed
  b9eb1ae

  Copy full SHA for b9eb1ae

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

  

  devops

  committed
  2b1e8cd

  Copy full SHA for 2b1e8cd