Use Slither for constant extraction #451

ggrieco-tob · 2020-04-28T19:28:02Z

This will fix #440 and remove some old code we don't care about in Solidity.hs

lib/Echidna.hs

lib/Echidna/Processor.hs

first version of the use of slither for constant extraction

9bad826

MatthewARinehart added performance enhancement labels Aug 12, 2020

MatthewARinehart added this to the Q3 2020 (Version TBD) milestone Aug 12, 2020

ggrieco-tob added 6 commits November 1, 2020 22:56

merge + fixes

1414f0e

fixed some tests

9868161

fix missing test

f1aeb41

fix warning

e19b4d1

fixes

d1a90b5

fix + test

f037730

ggrieco-tob marked this pull request as ready for review November 2, 2020 12:46

ggrieco-tob requested a review from arcz November 4, 2020 21:16

arcz reviewed Nov 4, 2020

View reviewed changes

ggrieco-tob added 3 commits November 5, 2020 09:51

fixes

1554285

fix

be83f39

slither is now mandatory

a9137af

arcz reviewed Nov 5, 2020

View reviewed changes

lib/Echidna/Processor.hs Outdated Show resolved Hide resolved

fix

5aa4d12

arcz approved these changes Nov 5, 2020

View reviewed changes

ggrieco-tob merged commit 16ba989 into master Nov 5, 2020

ggrieco-tob deleted the dev-slither-constants branch November 5, 2020 15:28

Provide feedback