Code

Update dependency: deps/kevm_release#579

Code

Merged

palinatolmach merged 22 commits intomasterruntimeverification/kontrol:masterfrom _update-deps/runtimeverification/evm-semanticsruntimeverification/kontrol:_update-deps/runtimeverification/evm-semanticsCopy head branch name to clipboardMay 27, 2024

+59-96

Commits

Commits on May 23, 2024

• deps/kevm_release: Set Version 1.0.568

  

  devops

  committed
  c4f01a3

  Copy full SHA for c4f01a3

• Set Version: 0.1.285

  

  devops

  committed
  1f5d0d7

  Copy full SHA for 1f5d0d7

• Sync Poetry files: kevm-pyk version 1.0.568

  

  devops

  committed
  e038627

  Copy full SHA for e038627

• deps/k_release: sync release file version 7.0.85

  

  devops

  committed
  61486ed

  Copy full SHA for 61486ed

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

  

  devops

  committed
  c4833e6

  Copy full SHA for c4833e6

• deps/kevm_release: Set Version 1.0.569

  

  devops

  committed
  7e0dfad

  Copy full SHA for 7e0dfad

• Sync Poetry files: kevm-pyk version 1.0.569

  

  devops

  committed
  75a4692

  Copy full SHA for 75a4692

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

  

  devops

  committed
  f5e5074

  Copy full SHA for f5e5074

• deps/kevm_release: Set Version 1.0.570

  

  devops

  committed
  9d46c21

  Copy full SHA for 9d46c21

• Sync Poetry files: kevm-pyk version 1.0.570

  

  devops

  committed
  aa4ac0f

  Copy full SHA for aa4ac0f

• deps/k_release: sync release file version 7.0.89

  

  devops

  committed
  12a9d98

  Copy full SHA for 12a9d98

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

  

  devops

  committed
  a200750

  Copy full SHA for a200750

Commits on May 24, 2024

• Remove llvm_library arg in kevm_kompile call

  palinatolmach

  committed
  0170b48

  Copy full SHA for 0170b48

• Sync Poetry files: kevm-pyk version 1.0.570

  

  devops

  committed
  6fac2f5

  Copy full SHA for 6fac2f5

• flake.lock: manually update macos solc hash

  palinatolmach

  committed
  69693ce

  Copy full SHA for 69693ce

• Merge branch 'master' into _update-deps/runtimeverification/evm-semantics

  palinatolmach

  authored
  32e19f5

  Copy full SHA for 32e19f5

• Set Version: 0.1.286

  

  devops

  committed
  c835855

  Copy full SHA for c835855

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

  

  devops

  committed
  0500e00

  Copy full SHA for 0500e00

• deps/kevm_release: Set Version 1.0.571

  

  devops

  committed
  ef2f596

  Copy full SHA for ef2f596

• Sync Poetry files: kevm-pyk version 1.0.571

  

  devops

  committed
  f7133dc

  Copy full SHA for f7133dc

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

  

  devops

  committed
  880fd45

  Copy full SHA for 880fd45

Commits on May 27, 2024

• flake.lock: manually updated solc-macos-amd64 hash

  palinatolmach

  committed
  9694bd8

  Copy full SHA for 9694bd8