Code

Update dependency: deps/k_release#2659

Code

Merged

anvacaru merged 9 commits intomasterruntimeverification/evm-semantics:masterfrom _update-deps/runtimeverification/kruntimeverification/evm-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboardNov 28, 2024

+85-85

Commits

Commits on Nov 27, 2024

• deps/k_release: Set Version 7.1.177

  

  devops

  committed
  ba75afc

  Copy full SHA for ba75afc

• kevm-pyk/: sync poetry files pyk version 7.1.177

  

  devops

  committed
  53c6c91

  Copy full SHA for 53c6c91

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

  

  devops

  committed
  a9eaf3b

  Copy full SHA for a9eaf3b

• deps/k_release: Set Version 7.1.178

  

  devops

  committed
  50c9a9f

  Copy full SHA for 50c9a9f

• kevm-pyk/: sync poetry files pyk version 7.1.178

  

  devops

  committed
  ea73006

  Copy full SHA for ea73006

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

  

  devops

  committed
  b637ff2

  Copy full SHA for b637ff2

• deps/k_release: Set Version 7.1.179

  

  devops

  committed
  da6d014

  Copy full SHA for da6d014

• kevm-pyk/: sync poetry files pyk version 7.1.179

  

  devops

  committed
  b100739

  Copy full SHA for b100739

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

  

  devops

  committed
  8d88f69

  Copy full SHA for 8d88f69