TheDude
/
echidna
mirror of https://github.com/crytic/echidna
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
1079 Commits
42 Branches
34 Tags
9.1 MiB
Tag: Branch: Tree: cc0c633c96
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'cc0c633c96'
${ noResults }
Commit Graph

1079 Commits (cc0c633c96304360850e6ccc512c74a86710f191)
 

Author SHA1 Message Date
JP Smith a5f40a8234 add prefix config, clean up config types
6 years ago
JP Smith b483e0879f
Merge pull request #67 from trailofbits/dev-evm-config
6 years ago
JP Smith 79623a862e in which our hero still cannot web merge
6 years ago
JP Smith 8040f80a33
Merge branch 'master' into dev-evm-config
6 years ago
ggrieco-tob eb1bc08e55
added a parameter to limit the shrinking (#69)
6 years ago
JP Smith d501d802cc remove unnecessary do ugh
6 years ago
ggrieco-tob 015437b7b5
Improved and standardized properties (#68)
6 years ago
JP Smith f222c8df81 fix bad merge
6 years ago
JP Smith d82ad1be36
Merge branch 'master' into dev-evm-config
6 years ago
JP Smith 5aa4aabbd6 mtl style everywhere
6 years ago
JP Smith 0dbab146c7
Merge pull request #71 from trailofbits/dev-remove-deprecated
6 years ago
JP Smith 856106fb06
Merge pull request #70 from trailofbits/dev-config-refactor
6 years ago
JP Smith 0f58478773 remove swapfile oops
6 years ago
JP Smith 8399cd6597 remove deprecated functions from Exec.hs
6 years ago
JP Smith 49fd5e17af hlint clean
6 years ago
JP Smith cb0238b533 fixed config parsing
6 years ago
Ben Perez 44cd72d1f6 One last README fix
6 years ago
Ben Perez 035668e1b2 Fixed readme
6 years ago
Ben Perez d209101b7f Added functionality for adding whitelist of addresses to the config file, which will force Gen to only choose from that list when creating tests. Also updated README
6 years ago
Ben Perez f62e5c8ae1 Added sender and contract address fields to the config, changed EVM initialization to take these into account
6 years ago
Ben Perez 42225b20c6
Merge pull request #58 from trailofbits/dev-config
6 years ago
Ben Perez 00578bf323 Removed redundant import
6 years ago
Ben Perez e2ef5851e0 Merge branch 'dev-config' of github.com:trailofbits/echidna into dev-config
6 years ago
Ben Perez 51da431f02 Added parse exception to config, added withDefault Config to config, minor stylistic changes elsewhere
6 years ago
Ben Perez 74b01e24f7
Merge branch 'master' into dev-config
6 years ago
Ben Perez b6a86f059c Added new cmd line flag for coverage. Now use --coverage to turn on coverage
6 years ago
Ben Perez 1a631d6d94 Factor runReaderT to be at the top level of Main. Made stylistic fixes to Exec.hs.
6 years ago
JP Smith 935e211dab
Merge pull request #59 from rbharath/gitattributes
6 years ago
Bharath Ramsundar bc46ee5e79 Adding git attributes file
6 years ago
Ben Perez 2b083dc63f Fixed minor issues in Solidity.hs, extended MonadReader to all relevant functions
7 years ago
Ben Perez 4241225ddc Added MonadReader to loadSolidty, config now takes gas amt as a W256
7 years ago
Ben Perez 3c57ad6c08 Removed gas until more concrete decisions are made about structure
7 years ago
Ben Perez c74bae0175 Basic config file functionality
7 years ago
Ben Perez d8940946f1
Merge pull request #57 from trailofbits/dev-err-nobytecode
7 years ago
JP Smith d2f75f807a throw an error if no bytecode found
7 years ago
Ben Perez 5958936275
Merge pull request #53 from trailofbits/dev-mutation-fixes
7 years ago
Ben Perez 81ab216dce Got rid of changeStaticBS
7 years ago
Ben Perez 7b9645b101 Fixed issue where mutateCall treated static bytestrings like dynamic bytestrings. This resolves Issue #46. Also modified off by one error in Main.hs where it used too few epochs.
7 years ago
JP Smith a498c77934
Merge pull request #49 from trailofbits/dev-fix-openfile
7 years ago
ggrieco-tob 993ce991de
Upgrade to hedgehog 0.6 (#50)
7 years ago
ggrieco-tob 9784ce4b28 removed some hardcoded line numbers
7 years ago
ggrieco-tob 4c88d758dd effective workaround to fix the openFile issue
7 years ago
ggrieco-tob d00f1d1d48 Merge branch 'master' into dev-fix-openfile
7 years ago
Ben Perez 01f8da6e57
Merge pull request #41 from trailofbits/dev-good-input-detection
7 years ago
blperez01 8ca40978cc Fixed naming issue in merge with master
7 years ago
Ben Perez 1b4cfd5097
Merge branch 'master' into dev-good-input-detection
7 years ago
blperez01 d3f7cef9c2 Minor adjustments in style
7 years ago
blperez01 a4ac735e1a fixed comments on PR
7 years ago
JP Smith 121bf671e4
Merge pull request #42 from trailofbits/dev-revert-on-fail
7 years ago
JP Smith 7acdf85df7
Merge pull request #32 from trailofbits/dev-multicontract
7 years ago