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

34 Commits (341a921a30e4925c0cd528da313f362421f95b99)

Author SHA1 Message Date
Will Song daa04ae30b Seeds of life 2 (#254)
5 years ago
JP Smith 9191187f39 initial stable release (#237)
5 years ago
JP Smith 863d1eed7e gold didn't help
5 years ago
JP Smith 4043c80a8d try using gnu gold
5 years ago
JP Smith 3c6bcd18b2 you only yolo once
5 years ago
Gustavo Grieco 3d095989fa
Enable the use of statically-linked binaries (#222)
6 years ago
JP Smith eae847485f check that we're in a terminal before drawing dashboard
6 years ago
Gustavo Grieco 13983c6fec
Update package.yaml
6 years ago
Gustavo Grieco 6b161cb6f1
Update package.yaml
6 years ago
Will Song efe04cad6b s/stack-test/echidna-testsuite/
6 years ago
Will Song cfd2135d08 add a tasty-hunit test, this should be runnable with `stack test`
6 years ago
JP Smith 468def9b81 rewrite echidna to work better
6 years ago
JP Smith 3f7308c7d6 fix build 4: return of the son of fix build
6 years ago
ggrieco-tob 5535773f5c
Removed threaded flag
6 years ago
Ben Perez f7506e905c Fixed redundant import, added bang patterns to Coverage, added compiler flags -O2 and -threaded
6 years ago
Ben Perez a4ecf49abf Factored out coverage from exec
6 years ago
Ben Perez ecf94a075e stop orphan instance warning
6 years ago
Ben Perez a98601bcbe update package.yaml
6 years ago
JP Smith 2447cf6853 wrote gas usage tester
6 years ago
JP Smith ef73405578 start adding perprop executable
6 years ago
ggrieco-tob 015437b7b5
Improved and standardized properties (#68)
6 years ago
Ben Perez c74bae0175 Basic config file functionality
7 years ago
ggrieco-tob 993ce991de
Upgrade to hedgehog 0.6 (#50)
7 years ago
Connor Christie 581f78d6e4 Use fmap and clarify readme
7 years ago
Connor Christie 7e66ca2109 Add ability to specify solc compiler options
7 years ago
Ben Perez 5c1983c8ab Fixed performance issues with coverage
7 years ago
ggrieco-tob f46968eafa added new example to discover a revert
7 years ago
JP Smith 88e8b40288 reduce API surface area
7 years ago
phoebe jenkins 0f26d68159 Add state machine integration with hedgehog
7 years ago
JP Smith 05dc555160 started on custom UI
7 years ago
JP Smith 415cc0ebc8 magic oneline tool
7 years ago
JP Smith f351052ced separate example
7 years ago
JP Smith 14c6c3e29a new solidity code + hlint clean
7 years ago
JP Smith e59dec0c85 write README
7 years ago
JP Smith 47a932fbf0 begin library refactor
7 years ago