Code

Update dependency: deps/pyk_release#1962

Code

Merged

rv-jenkins merged 13 commits intomasterruntimeverification/evm-semantics:masterfrom _update-deps/runtimeverification/pykruntimeverification/evm-semantics:_update-deps/runtimeverification/pykCopy head branch name to clipboardJul 26, 2023

+53-51

Commits

Commits on Jul 24, 2023

• deps/pyk_release: Set Version v0.1.377

  

  devops

  committed
  4a47301

  Copy full SHA for 4a47301

• Set Version: 1.0.237

  

  devops

  committed
  163cd54

  Copy full SHA for 163cd54

• kevm-pyk/: sync poetry files pyk version v0.1.377

  

  devops

  committed
  2bd11f2

  Copy full SHA for 2bd11f2

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

  

  devops

  committed
  ba4dfd1

  Copy full SHA for ba4dfd1

• Merge remote-tracking branch 'origin/master' into _update-deps/runtimeverification/pyk

  

  devops

  committed
  cf7a4b8

  Copy full SHA for cf7a4b8

• deps/pyk_release: Set Version v0.1.378

  

  devops

  committed
  b35188d

  Copy full SHA for b35188d

• Set Version: 1.0.238

  

  devops

  committed
  f8d8113

  Copy full SHA for f8d8113

• kevm-pyk/: sync poetry files pyk version v0.1.378

  

  devops

  committed
  ead818f

  Copy full SHA for ead818f

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

  

  devops

  committed
  ee75bb7

  Copy full SHA for ee75bb7

Commits on Jul 25, 2023

• extend lines with a str of the summary

  anvacaru

  committed
  8fcc78c

  Copy full SHA for 8fcc78c

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

  ehildenb

  authored
  0d7ffd3

  Copy full SHA for 0d7ffd3

• Set Version: 1.0.239

  

  devops

  committed
  7b5c26a

  Copy full SHA for 7b5c26a

• Update kevm-pyk/src/kevm_pyk/foundry.py

  ehildenb

  authored
  237557d

  Copy full SHA for 237557d