Code

Optimize schedule.md#2349

Code

Closed

dwightguth wants to merge 31 commits intomasterruntimeverification/evm-semantics:masterfrom schedule3runtimeverification/evm-semantics:schedule3Copy head branch name to clipboard

+798-479

Commits

Commits on Mar 27, 2024

• delete DEFAULT schedule

  

  Dwight Guth

  committed
  0cc04bc

  Copy full SHA for 0cc04bc

• remove references to DEFAULT schedule

  

  Dwight Guth

  committed
  11699ef

  Copy full SHA for 11699ef

• replace equality with FRONTIER with a Ghasdelegatecall operator

  

  Dwight Guth

  committed
  d233dfa

  Copy full SHA for d233dfa

• create ScheduleTuple type

  

  Dwight Guth

  committed
  4ce121a

  Copy full SHA for 4ce121a

• make previous schedule operators private

  

  Dwight Guth

  committed
  aaed371

  Copy full SHA for aaed371

• add scheduleTuple cell

  

  Dwight Guth

  committed
  0206477

  Copy full SHA for 0206477

• update scheduleTuple cell

  

  Dwight Guth

  committed
  8c2338c

  Copy full SHA for 8c2338c

• modify functions to pass ScheduleTuple instead of Schedule

  

  Dwight Guth

  committed
  223b24c

  Copy full SHA for 223b24c

• look up scheduleTuple cell instead of scheduleCell in most places

  

  Dwight Guth

  committed
  c26f5ad

  Copy full SHA for c26f5ad

• call getters instead of schedule lookup function most places

  

  Dwight Guth

  committed
  3e10d08

  Copy full SHA for 3e10d08

• update rules in driver.md that require both ScheduleTuple and Schedule

  

  Dwight Guth

  committed
  d3ebb1c

  Copy full SHA for d3ebb1c

• update output files

  

  Dwight Guth

  committed
  c0951e5

  Copy full SHA for c0951e5

• update claims

  

  Dwight Guth

  committed
  5de20e8

  Copy full SHA for 5de20e8

• fix lemmas.k

  

  Dwight Guth

  committed
  c4e2dba

  Copy full SHA for c4e2dba

• update mcd specs

  

  Dwight Guth

  committed
  df70ba6

  Copy full SHA for df70ba6

• update kontrol specs

  

  Dwight Guth

  committed
  fa55f1d

  Copy full SHA for fa55f1d

• try increased verbosity

  

  Dwight Guth

  committed
  5359c7a

  Copy full SHA for 5359c7a

• fix bug in expected outputs

  

  Dwight Guth

  committed
  118cc21

  Copy full SHA for 118cc21

• update some more k files with new schedule functions

  

  Dwight Guth

  committed
  dccfaf3

  Copy full SHA for dccfaf3

• fix specs that reference Csstore

  

  Dwight Guth

  committed
  4a11255

  Copy full SHA for 4a11255

• fix sed error

  

  Dwight Guth

  committed
  2ac239f

  Copy full SHA for 2ac239f

• change Schedule to ScheduleTuple in more tests

  

  Dwight Guth

  committed
  8a8abb1

  Copy full SHA for 8a8abb1

• fix another set of claims

  

  Dwight Guth

  committed
  27a732b

  Copy full SHA for 27a732b

• fix more specs

  

  Dwight Guth

  committed
  0a386d1

  Copy full SHA for 0a386d1

• fix another spec

  

  Dwight Guth

  committed
  2790eff

  Copy full SHA for 2790eff

• Set Version: 1.0.512

  

  devops

  committed
  d290879

  Copy full SHA for d290879

Commits on Mar 28, 2024

• Update kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md

  Show description for 684d271
  

  Dwight Guth

  and

  anvacaru

  authored
  684d271

  Copy full SHA for 684d271

• Set Version: 1.0.513

  

  devops

  committed
  0923406

  Copy full SHA for 0923406

• Merge branch 'master' into schedule3

  

  Dwight Guth

  authored
  ef257a5

  Copy full SHA for ef257a5

• Set Version: 1.0.514

  

  devops

  committed
  5e509f0

  Copy full SHA for 5e509f0

Commits on Apr 8, 2024

• Merge branch 'master' into schedule3

  

  Dwight Guth

  committed
  d3b133c

  Copy full SHA for d3b133c