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

321 Commits (d183c3a4839bfb186ae64282bf7c4082d360ef0a)
 

Author SHA1 Message Date
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
Ben Perez 2ad5226d10 Made coverage always on
6 years ago
Ben Perez 3a6171f02a Added coverage capabilities, used OptionsApplicative for cmd line parsing
6 years ago
JP Smith 25fdda1f4c
Merge pull request #81 from trailofbits/dev-stop-releasing
6 years ago
JP Smith 007e368535 stop releasing every commit
6 years ago
JP Smith ef73405578 start adding perprop executable
6 years ago
JP Smith 5316b02f87
Merge pull request #79 from trailofbits/dev-print-better-coverage
6 years ago
JP Smith 7907086ecc use config to decide when to print
6 years ago
JP Smith 33375d6418 print arc coverage as JSON
6 years ago
JP Smith a850fb2e34 massive coverage refactor
6 years ago
JP Smith 90f5485a74 remove swapfile
6 years ago
JP Smith 630866bc1e use type for points of coverage
6 years ago
JP Smith aa472a1377 track coverage by hash and print it
6 years ago
JP Smith e395687627
Merge pull request #78 from trailofbits/dev-build-bins
6 years ago
JP Smith 68faa0085c always install ghr
6 years ago
JP Smith 49a6980ee0
Merge pull request #77 from trailofbits/dev-build-bins
6 years ago
JP Smith 2a06e13de3 describe should never fail
6 years ago
JP Smith 8fb1c075f4
Merge pull request #76 from trailofbits/dev-build-bins
6 years ago
JP Smith 36e614fa34 right binary name
6 years ago
JP Smith 22751f26d8
Merge pull request #75 from trailofbits/dev-build-bins
6 years ago
JP Smith b239efac3f
Merge pull request #74 from trailofbits/dev-fix-props
6 years ago
JP Smith 497bf3e537 start building binaries every time
6 years ago
JP Smith bcd9f1a63e fix property type parsing
6 years ago
JP Smith 74a355e8b1
Fix minor typo in Property.hs
6 years ago
JP Smith 82186340cc
Merge pull request #73 from trailofbits/dev-custom-prefix
6 years ago
JP Smith 1c19375ab7 fix example config
6 years ago
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