Code

Update dependency: deps/k_release#2673

Code

Merged

automergerpr-permission-manager[bot] merged 16 commits intomasterruntimeverification/evm-semantics:masterfrom _update-deps/runtimeverification/kruntimeverification/evm-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboardJan 7, 2025

+221-141

Commits

Commits on Jan 6, 2025

• deps/k_release: Set Version 7.1.193

  

  devops

  committed
  2dc1306

  Copy full SHA for 2dc1306

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

  

  devops

  committed
  7e409f7

  Copy full SHA for 7e409f7

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

  

  devops

  committed
  f0b163f

  Copy full SHA for f0b163f

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

  palinatolmach

  authored
  a150b5a

  Copy full SHA for a150b5a

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

  

  devops

  committed
  5056dff

  Copy full SHA for 5056dff

Commits on Jan 7, 2025

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

  palinatolmach

  authored
  ab02cd4

  Copy full SHA for ab02cd4

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

  

  devops

  committed
  ddcba1a

  Copy full SHA for ddcba1a

• deps/k_release: Set Version 7.1.194

  

  devops

  committed
  51f02a8

  Copy full SHA for 51f02a8

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

  

  devops

  committed
  d0b5154

  Copy full SHA for d0b5154

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

  

  devops

  committed
  357ab78

  Copy full SHA for 357ab78

• deps/k_release: Set Version 7.1.195

  

  devops

  committed
  d488113

  Copy full SHA for d488113

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

  

  devops

  committed
  4996e24

  Copy full SHA for 4996e24

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

  

  devops

  committed
  4aa718f

  Copy full SHA for 4aa718f

• deps/k_release: Set Version 7.1.196

  

  devops

  committed
  d045380

  Copy full SHA for d045380

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

  

  devops

  committed
  c498f69

  Copy full SHA for c498f69

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

  

  devops

  committed
  83dafdf

  Copy full SHA for 83dafdf