Code

WordStack optimizations#2632

Code

Closed

PetarMax wants to merge 23 commits intomasterruntimeverification/evm-semantics:masterfrom wordstack-optimizationsruntimeverification/evm-semantics:wordstack-optimizationsCopy head branch name to clipboard

+29-36

Commits

Commits on Sep 26, 2024

• initial commit

  PetarMax

  committed
  f846164

  Copy full SHA for f846164

• Merge branch 'master' into wordstack-optimizations

  PetarMax

  authored
  7c9a7eb

  Copy full SHA for 7c9a7eb

• corrections

  PetarMax

  committed
  3c3fa50

  Copy full SHA for 3c3fa50

• adding SMT lemmas

  PetarMax

  committed
  ceacb63

  Copy full SHA for ceacb63

• more smt lemmas

  PetarMax

  committed
  a3a1a56

  Copy full SHA for a3a1a56

• correction

  PetarMax

  committed
  5e89634

  Copy full SHA for 5e89634

• correction

  PetarMax

  committed
  1269317

  Copy full SHA for 1269317

• formatting correction

  PetarMax

  committed
  7205c9b

  Copy full SHA for 7205c9b

• further lemmas

  PetarMax

  committed
  5e1f946

  Copy full SHA for 5e1f946

• third lemma

  PetarMax

  committed
  e2fb909

  Copy full SHA for e2fb909

Commits on Sep 27, 2024

• corrections

  PetarMax

  committed
  b4dc91f

  Copy full SHA for b4dc91f

• sizeWordStack

  PetarMax

  committed
  b554704

  Copy full SHA for b554704

• no owise

  PetarMax

  committed
  05cab84

  Copy full SHA for 05cab84

• rule enumeration

  PetarMax

  committed
  bccdb04

  Copy full SHA for bccdb04

• minor corrections

  PetarMax

  committed
  aaec015

  Copy full SHA for aaec015

• documentation correction

  PetarMax

  committed
  ff6adbe

  Copy full SHA for ff6adbe

• adding tests to booster-dev ignore until booster improves indeterminate rule matching

  PetarMax

  committed
  c0c088b

  Copy full SHA for c0c088b

• correction

  PetarMax

  committed
  5acb050

  Copy full SHA for 5acb050

• corrections

  PetarMax

  committed
  7899ab3

  Copy full SHA for 7899ab3

• tail-recursive sizeWordStack

  PetarMax

  committed
  3d7c9c2

  Copy full SHA for 3d7c9c2

• reverting the computation of sizeWordStack

  PetarMax

  committed
  3801e92

  Copy full SHA for 3801e92

Commits on Sep 29, 2024

• removing direct computations

  PetarMax

  committed
  f0bfa6e

  Copy full SHA for f0bfa6e

• bringing back booster tests

  PetarMax

  committed
  550111f

  Copy full SHA for 550111f