Code

Update dependency: deps/k_release#2642

Code

Merged

palinatolmach merged 4 commits intomasterruntimeverification/evm-semantics:masterfrom _update-deps/runtimeverification/kruntimeverification/evm-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboardOct 10, 2024

+84-94

Commits

Commits on Oct 10, 2024

• deps/k_release: Set Version 7.1.157

  

  devops

  committed
  bef6a80

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

  

  devops

  committed
  cdcf0f7

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

  

  devops

  committed
  73bf194

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

  palinatolmach

  authored
  7bfdeed