Code

Update dependency: deps/k_release#2660

Code

Merged

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

+47-17

Commits

Commits on Nov 28, 2024

• deps/k_release: Set Version 7.1.180

  

  devops

  committed
  c62883e

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

  

  devops

  committed
  1f8570f

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

  

  devops

  committed
  37d90fd