Code

Initial support for tstore/tload#1286

Code

Merged

ggrieco-tob merged 5 commits intomastercrytic/echidna:masterfrom tstorecrytic/echidna:tstoreCopy head branch name to clipboardJul 11, 2024

+29-4

Commits

Commits on Jul 9, 2024

• switch to tstore branch on hevm fork. all we should need now is a call to clearTStorages

  samalws-tob

  committed
  862d2ef

  Copy full SHA for 862d2ef

• call clearTStorages after each transaction

  samalws-tob

  committed
  7a96aeb

  Copy full SHA for 7a96aeb

• test case

  samalws-tob

  committed
  4488de0

  Copy full SHA for 4488de0

• bump hevm

  samalws-tob

  committed
  ad326b6

  Copy full SHA for ad326b6

• bump hevm again

  samalws-tob

  committed
  3e261e3

  Copy full SHA for 3e261e3