Code

Update dependency: deps/k_release#2661

Code

Merged

anvacaru merged 15 commits intomasterruntimeverification/evm-semantics:masterfrom _update-deps/runtimeverification/kruntimeverification/evm-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboardDec 5, 2024

+22-21

Commits

Commits on Dec 3, 2024

• deps/k_release: Set Version 7.1.181

  

  devops

  committed
  ab56bf9

  Copy full SHA for ab56bf9

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

  

  devops

  committed
  f4e8181

  Copy full SHA for f4e8181

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

  

  devops

  committed
  1c8c8df

  Copy full SHA for 1c8c8df

Commits on Dec 4, 2024

• deps/k_release: Set Version 7.1.182

  

  devops

  committed
  83f19b8

  Copy full SHA for 83f19b8

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

  

  devops

  committed
  5ddad8e

  Copy full SHA for 5ddad8e

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

  

  devops

  committed
  3c8d707

  Copy full SHA for 3c8d707

• deps/k_release: Set Version 7.1.183

  

  devops

  committed
  ef32886

  Copy full SHA for ef32886

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

  

  devops

  committed
  69b4c8d

  Copy full SHA for 69b4c8d

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

  

  devops

  committed
  fdf363c

  Copy full SHA for fdf363c

• add CTermSymbolic instance to custom_step

  anvacaru

  committed
  152ebad

  Copy full SHA for 152ebad

Commits on Dec 5, 2024

• bump dss timeout

  anvacaru

  committed
  38b5866

  Copy full SHA for 38b5866

• Revert "bump dss timeout"

  Show description for 04398ec
  anvacaru

  committed
  04398ec

  Copy full SHA for 04398ec

• deps/k_release: Set Version 7.1.184

  

  devops

  committed
  dd01539

  Copy full SHA for dd01539

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

  

  devops

  committed
  313d3e1

  Copy full SHA for 313d3e1

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

  

  devops

  committed
  42c3e3b

  Copy full SHA for 42c3e3b