Code

Update dependency: deps/pyk_release#2041

Code

Merged

rv-jenkins merged 49 commits intomasterruntimeverification/evm-semantics:masterfrom _update-deps/runtimeverification/pykruntimeverification/evm-semantics:_update-deps/runtimeverification/pykCopy head branch name to clipboardAug 31, 2023

+116-158

Commits

Commits on Aug 24, 2023

• deps/pyk_release: Set Version v0.1.426

  

  devops

  committed
  bb00217

  Copy full SHA for bb00217

• Set Version: 1.0.279

  

  devops

  committed
  f3e173d

  Copy full SHA for f3e173d

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

  

  devops

  committed
  056211f

  Copy full SHA for 056211f

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

  

  devops

  committed
  3a8f76e

  Copy full SHA for 3a8f76e

• deps/pyk_release: Set Version v0.1.427

  

  devops

  committed
  a6c01d8

  Copy full SHA for a6c01d8

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

  

  devops

  committed
  c9bb347

  Copy full SHA for c9bb347

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

  

  devops

  committed
  48dcdd4

  Copy full SHA for 48dcdd4

Commits on Aug 25, 2023

• deps/pyk_release: Set Version v0.1.428

  

  devops

  committed
  9601a84

  Copy full SHA for 9601a84

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

  

  devops

  committed
  1ef0bb4

  Copy full SHA for 1ef0bb4

• deps/k_release: sync release file version 6.0.69

  

  devops

  committed
  4c9b4f6

  Copy full SHA for 4c9b4f6

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

  

  devops

  committed
  1f9b015

  Copy full SHA for 1f9b015

Commits on Aug 27, 2023

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

  

  devops

  committed
  60e1585

  Copy full SHA for 60e1585

• deps/pyk_release: Set Version v0.1.429

  

  devops

  committed
  2db3b6d

  Copy full SHA for 2db3b6d

• Set Version: 1.0.280

  

  devops

  committed
  a3d26ca

  Copy full SHA for a3d26ca

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

  

  devops

  committed
  46e3287

  Copy full SHA for 46e3287

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

  

  devops

  committed
  a8a403e

  Copy full SHA for a8a403e

Commits on Aug 28, 2023

• adding terminal nodes in calls to APR prover, fixing function names

  PetarMax

  committed
  f3d5177

  Copy full SHA for f3d5177

• keep init and target

  iFrostizz

  committed
  693f7ae

  Copy full SHA for 693f7ae

• adapt to pyk new handling of CTerm bottom/top

  iFrostizz

  committed
  8a1fef4

  Copy full SHA for 8a1fef4

• handle view-kcfg bottom

  

  François Guyot

  authored and

  iFrostizz

  committed
  999f833

  Copy full SHA for 999f833

• update foundry-list unit test terminal dict name

  iFrostizz

  committed
  1c0d557

  Copy full SHA for 1c0d557

• ignore keep_nodes=

  iFrostizz

  committed
  159b417

  Copy full SHA for 159b417

• lock svm

  iFrostizz

  committed
  438b2e4

  Copy full SHA for 438b2e4

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

  

  François Guyot

  committed
  fa352da

  Copy full SHA for fa352da

• Set Version: 1.0.281

  

  devops

  committed
  b1aeded

  Copy full SHA for b1aeded

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

  

  devops

  committed
  179a05a

  Copy full SHA for 179a05a

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

  

  devops

  committed
  dc7665e

  Copy full SHA for dc7665e

• deps/pyk_release: Set Version v0.1.430

  

  devops

  committed
  c9a5caa

  Copy full SHA for c9a5caa

• Set Version: 1.0.282

  

  devops

  committed
  24e38b9

  Copy full SHA for 24e38b9

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

  

  devops

  committed
  51338d5

  Copy full SHA for 51338d5

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

  

  devops

  committed
  91dd813

  Copy full SHA for 91dd813

• remove useless initialization

  iFrostizz

  committed
  eba3483

  Copy full SHA for eba3483

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

  iFrostizz

  authored
  e435b9b

  Copy full SHA for e435b9b

• Set Version: 1.0.283

  

  devops

  committed
  a26b3f0

  Copy full SHA for a26b3f0

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

  

  devops

  committed
  35ec5f1

  Copy full SHA for 35ec5f1

Commits on Aug 29, 2023

• deps/pyk_release: Set Version v0.1.431

  

  devops

  committed
  aa5a313

  Copy full SHA for aa5a313

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

  

  devops

  committed
  9d1e099

  Copy full SHA for 9d1e099

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

  

  devops

  committed
  f777d0c

  Copy full SHA for f777d0c

Commits on Aug 30, 2023

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

  nwatson22

  authored
  420031f

  Copy full SHA for 420031f

• Set Version: 1.0.284

  

  devops

  committed
  5d47354

  Copy full SHA for 5d47354

Commits on Aug 31, 2023

• Fix bottom/top check

  nwatson22

  committed
  1f47292

  Copy full SHA for 1f47292

• Update expected output for test_foundry_auto_abstraction

  nwatson22

  committed
  0aa51ef

  Copy full SHA for 0aa51ef

• Fix test_legacy_prove to handle kevm.prove returning a list of final terms

  nwatson22

  committed
  d31c604

  Copy full SHA for d31c604

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

  iFrostizz

  committed
  19fd6a5

  Copy full SHA for 19fd6a5

• Set Version: 1.0.285

  

  devops

  committed
  29a763d

  Copy full SHA for 29a763d

• Re-add simplify_init argument to test_foundry_auto_abstraction

  nwatson22

  committed
  060e192

  Copy full SHA for 060e192

• Update kevm-pyk/src/tests/integration/test_prove.py

  nwatson22

  authored
  9446a88

  Copy full SHA for 9446a88

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

  nwatson22

  authored
  81b78b0

  Copy full SHA for 81b78b0

• Fix import

  nwatson22

  committed
  e0ae3a0

  Copy full SHA for e0ae3a0