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

1354 Commits (master)
 

Author SHA1 Message Date
Ben Perez 4d786ebf13
Merge pull request #103 from trailofbits/dev-examples
6 years ago
JP Smith c46673247e fix function name parsing
6 years ago
JP Smith 9651cfe735 clean up lists and mvars
6 years ago
Ben Perez b4b843cb11 Stylistic fixes in examples
6 years ago
Ben Perez 301f7d4f88 Merge branch 'master' of github.com:trailofbits/echidna into dev-examples
6 years ago
Ben Perez 96edf6b34e Added examples to help demo new features of Echidna
6 years ago
Ben Perez b10d83b96e
Merge pull request #102 from trailofbits/dev-propertytype-fix
6 years ago
Ben Perez 378b89a04a removed unnecessary param from config.yaml
6 years ago
Ben Perez a47fa3423d Fixed config to reflect property types
6 years ago
Ben Perez ef0ab29271 fixed parse error in Config.hs
6 years ago
Ben Perez ee75ce2ec7
Merge pull request #86 from trailofbits/dev-gastest
6 years ago
Ben Perez 637af94275 Fixed redundant import and variable name
6 years ago
Ben Perez a2bcb7973b Reduced memory usage of gastest-exe. Changed Echidna.ABI to not generate intermediate arrays
6 years ago
ggrieco-tob e2253b2cba
Use stderr to output warning messages
6 years ago
Dan Guido 5e3159bbfa
Run hlint with codeclimate
6 years ago
ggrieco-tob 53a1d30d12
Skip undefined properties and show a warning
6 years ago
Ben Perez 57c49380a2
Merge pull request #88 from trailofbits/dev-warn-noabi
6 years ago
Ben Perez 4bb5fd8d50
Merge branch 'master' into dev-warn-noabi
6 years ago
Ben Perez 92113f1606
Merge pull request #89 from trailofbits/dev-perprop-checktests
6 years ago
Ben Perez 67caf47995 Fixed merge issue
6 years ago
Ben Perez 562a8e4c08
Merge branch 'master' into dev-warn-noabi
6 years ago
Ben Perez 6c82a1ccae Fixed no abi error to work for perprop and echidna-test
6 years ago
JP Smith df25cc8b51
Merge pull request #91 from trailofbits/dev-no-IO-setcover
6 years ago
ggrieco-tob 9df4853fff
Fixed missing contract name
6 years ago
ggrieco-tob 25bf728ea3
Merge branch 'master' into dev-perprop-checktests
6 years ago
Ben Perez 9df16052ce
Merge pull request #92 from trailofbits/dev-perprop-cmdline
6 years ago
ggrieco-tob 873a585df4
Deleted useless swp file
6 years ago
JP Smith a952fbb798
Merge pull request #90 from trailofbits/dev-fix-testlimit
6 years ago
Tasuku Nakamura b3a0480679 update doc about installing solc (#93)
6 years ago
JP Smith 6a7d9bba99 remove unnecessary IO for setCover/getCover
6 years ago
JP Smith a1c8ff3e44 whoops left a swapfile
6 years ago
JP Smith 59c145a805 warn on empty tests too
6 years ago
JP Smith 04c4d5f760 oops wrong type
6 years ago
JP Smith a0c7ce252c make testLimit work as intended
6 years ago
JP Smith 9f6d318ec0 check ABI for tests in perprop
6 years ago
JP Smith d3c29af8fa use null
6 years ago
JP Smith 098dbaa8bb warn when ABI isn't present, indicating bad constructor
6 years ago
blperez01 92fdd7ae4d Fixed redundant import and pattern
6 years ago
blperez01 0a18cf59ce Added cmd line parser and ability to specify contracts in perprop
6 years ago
Ben Perez 1b5129d1f1
Merge pull request #87 from trailofbits/dev-json-output
6 years ago
Ben Perez ac6cb5b60b Removed commented out code
6 years ago
Ben Perez 6b157cb754 JSON now outputs as-completed instead of in bulk
6 years ago
Ben Perez d2d8d4f71d Added option to turn on JSON output in Main.hs, removed json logic from Solidity.hs
6 years ago
Ben Perez d05e9852be perprop now defaults to only outputting JSON
6 years ago
Ben Perez fdc83fecb2 Merge branch 'master' of github.com:trailofbits/echidna into dev-json-output
6 years ago
Ben Perez 6bf931a010 Can now choose to output only JSON corresponding to test output
6 years ago
JP Smith 3f3a8b2c1f clean up code a bit
6 years ago
JP Smith 2447cf6853 wrote gas usage tester
6 years ago
Ben Perez cff59d6883
Merge pull request #83 from trailofbits/dev-perprop-exe
6 years ago
Ben Perez 67e2fedd00 Print ppHashes, default epochs to 1
6 years ago