Code

Update dependency: deps/kevm_release#217

Code

Merged

rv-jenkins merged 13 commits intomasterruntimeverification/kontrol:masterfrom _update-deps/runtimeverification/evm-semanticsruntimeverification/kontrol:_update-deps/runtimeverification/evm-semanticsCopy head branch name to clipboardDec 4, 2023

+70-70

Commits

Commits on Dec 1, 2023

• deps/kevm_release: Set Version 1.0.380

  

  devops

  authored and

  tothtamas28

  committed
  45c55f7

  Copy full SHA for 45c55f7

• Sync Poetry files: kevm-pyk version 1.0.380

  

  devops

  authored and

  tothtamas28

  committed
  cc481ff

  Copy full SHA for cc481ff

• deps/k_release: sync release file version 6.1.34

  

  devops

  authored and

  tothtamas28

  committed
  49d89fb

  Copy full SHA for 49d89fb

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

  

  devops

  authored and

  tothtamas28

  committed
  a32c35e

  Copy full SHA for a32c35e

• Fix linting issues

  tothtamas28

  committed
  c93fadb

  Copy full SHA for c93fadb

• Replace kevm_pyk.kdist by pyk.kdist

  tothtamas28

  committed
  6c666cf

  Copy full SHA for 6c666cf

• Set Version: 0.1.78

  

  devops

  authored and

  tothtamas28

  committed
  ab308f3

  Copy full SHA for ab308f3

Commits on Dec 4, 2023

• Update expected output in testFail_expect_revert

  palinatolmach

  committed
  6a5ec08

  Copy full SHA for 6a5ec08

• Sync Poetry files: kevm-pyk version 1.0.380

  

  devops

  committed
  975caeb

  Copy full SHA for 975caeb

• deps/kevm_release: Set Version 1.0.381

  

  devops

  committed
  80ad1ed

  Copy full SHA for 80ad1ed

• Sync Poetry files: kevm-pyk version 1.0.381

  

  devops

  committed
  30d35cd

  Copy full SHA for 30d35cd

• deps/k_release: sync release file version 6.1.35

  

  devops

  committed
  4a3b9be

  Copy full SHA for 4a3b9be

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

  

  devops

  committed
  6ffce8a

  Copy full SHA for 6ffce8a