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 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
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