Code

Update dependency: deps/k_release#2664

Code

Merged

PetarMax merged 3 commits intomasterruntimeverification/evm-semantics:masterfrom _update-deps/runtimeverification/kruntimeverification/evm-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboardDec 16, 2024

+11-11

Commits

Commits on Dec 11, 2024

• deps/k_release: Set Version 7.1.187

  

  devops

  committed
  d21049f

  Copy full SHA for d21049f

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

  

  devops

  committed
  b881a5f

  Copy full SHA for b881a5f

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

  

  devops

  committed
  3e9f898

  Copy full SHA for 3e9f898