Code

Dynamic buffers via SMT lists#500

Code

Open

MrChico wants to merge 36 commits intomasterdapphub/dapptools:masterfrom slistbufferdapphub/dapptools:slistbufferCopy head branch name to clipboard

+1,223-756

Commits

Commits on Sep 16, 2020

• dynamic buffers WIP

  MrChico

  committed
  7d6db3c

• using smt lists instead!

  MrChico

  committed
  a0ffadb

• WIP

  MrChico

  committed
  c91ad37

• more WIP

  MrChico

  committed
  9053505

• wip dynbuffer

  MrChico

  committed
  2776c03

• more wip

  MrChico

  committed
  120376c

• optimize as many static cases as possible

  MrChico

  committed
  b1b9d43

• things are getting better

  MrChico

  committed
  3a36f12

• correcter

  MrChico

  committed
  029a003

• callsemantics are back; more accurate SSTORE accounting; almost all

  Show description for 8d91c14
  MrChico

  committed
  8d91c14

• all tests passing, things seem pretty good

  MrChico

  committed
  d84f4cf

• tests passing

  MrChico

  committed
  6c37844

• bump origstorage

  MrChico

  committed
  0bd6a32

• generalize EXP to admit symbolic args

  MrChico

  committed
  3f8ed9c

• clean up of test.hs, refactor EVM.Fetch.oracle

  MrChico

  committed
  86a771f

• fix

  MrChico

  committed
  d5b070f

• dynamic bytes testcase

  MrChico

  committed
  1ed0233

• fix readsWord

  MrChico

  committed
  d16bc07

• assumptions to improve smt performance

  MrChico

  committed
  561d771

• optimize concrete case

  MrChico

  committed
  3f93f09

• simplifications and more testing

  MrChico

  committed
  c1376dc

• update sbv

  MrChico

  committed
  1149e7e

• run only z3 tests for now

  MrChico

  committed
  b4178a0

• allow calldata to be either a buffer or pseudodynamic (old approach)

  MrChico

  committed
  97ac686

• put dynamic buffer test in dapp-test instead of hevm

  MrChico

  committed
  0884f9c

• fix rebase fuckups

  MrChico

  committed
  f59a912

• don't change which tests are run

  MrChico

  committed
  90fb4f7

• fix concrete RETURNDATA

  MrChico

  committed
  35e8d51

• simplify refunds

  MrChico

  committed
  c124771

• fix SSTORE accounting

  MrChico

  committed
  b41dd3e

• fix memory access accounting in concrete case

  MrChico

  committed
  174f487

• fix calldataload

  MrChico

  committed
  248e232

• turn on z3 dynamic tests

  MrChico

  committed
  5472d0b

Commits on Oct 14, 2020

• sketch of a new structure

  MrChico

  committed
  39f4524

Commits on Oct 27, 2020

• sketches of spain

  MrChico

  committed
  6a88b66

Commits on Jan 12, 2021

• wip

  MrChico

  committed
  42c48a6