Code

Update dependency: deps/kevm_release#198

Code

Merged

rv-jenkins merged 8 commits intomasterruntimeverification/kontrol:masterfrom _update-deps/runtimeverification/evm-semanticsruntimeverification/kontrol:_update-deps/runtimeverification/evm-semanticsCopy head branch name to clipboardNov 22, 2023

+30-30

Commits

Commits on Nov 22, 2023

• deps/kevm_release: Set Version 1.0.369

  

  devops

  committed
  72eee20

  Copy full SHA for 72eee20

• Set Version: 0.1.70

  

  devops

  committed
  ac2e749

  Copy full SHA for ac2e749

• Sync Poetry files: kevm-pyk version 1.0.369

  

  devops

  committed
  4dadc27

  Copy full SHA for 4dadc27

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

  

  devops

  committed
  252ac1e

  Copy full SHA for 252ac1e

• deps/kevm_release: Set Version 1.0.370

  

  devops

  committed
  5b43e68

  Copy full SHA for 5b43e68

• Sync Poetry files: kevm-pyk version 1.0.370

  

  devops

  committed
  f8917b6

  Copy full SHA for f8917b6

• deps/k_release: sync release file version 6.1.25

  

  devops

  committed
  5c7b556

  Copy full SHA for 5c7b556

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

  

  devops

  committed
  e52f063

  Copy full SHA for e52f063