Code

Update dependency: deps/k_release#2445

Code

Merged

rv-jenkins merged 12 commits intomasterruntimeverification/evm-semantics:masterfrom _update-deps/runtimeverification/kruntimeverification/evm-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboardMay 27, 2024

+26-26

Commits

Commits on May 24, 2024

• deps/k_release: Set Version 7.0.90

  

  devops

  committed
  21cdeb4

• Set Version: 1.0.571

  

  devops

  committed
  3f5dd9b

• kevm-pyk/: sync poetry files pyk version v7.0.90

  

  devops

  committed
  0fcaa7e

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

  

  devops

  committed
  82343c1

• deps/k_release: Set Version 7.0.91

  

  devops

  committed
  8b843e4

• kevm-pyk/: sync poetry files pyk version v7.0.91

  

  devops

  committed
  0131efe

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

  

  devops

  committed
  a86df3d

Commits on May 25, 2024

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

  

  devops

  committed
  adc898e

• deps/k_release: Set Version 7.0.92

  

  devops

  committed
  20ee8ca

• Set Version: 1.0.572

  

  devops

  committed
  ffa280b

• kevm-pyk/: sync poetry files pyk version v7.0.92

  

  devops

  committed
  0fec4c4

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

  

  devops

  committed
  b640181