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

853 Commits (28134a1af446caf417e022b91256aac1c33f03ce)
 

Author SHA1 Message Date
Gustavo Grieco 28134a1af4
Update Dockerfile (#400)
5 years ago
Gustavo Grieco 6df117fabd
Add pip3 into the docker file (#399)
5 years ago
Will Song bb9604a5d8
HOST_OS (#398)
5 years ago
Will Song 74aec258f3
try docker action (#388)
5 years ago
Gustavo Grieco ee11293a07
Enable addresses shrinking (#385)
5 years ago
Will Song a6e99d183e
fix dockerfile maybe (#394)
5 years ago
Gustavo Grieco dc01758b2b
Corpus mutation hotfix (#395)
5 years ago
Gustavo Grieco 32db8d0e4f
Prioritization to mutate each list of transactions from the corpus (#376)
5 years ago
Gustavo Grieco 1456b8caf3
Improved array generation using generic mutations (#357)
5 years ago
Gustavo Grieco 9db3c342ab
Multiple coverage tracking according to the result of a transaction (#369)
5 years ago
Gustavo Grieco 1c1f7f97f5
Avoid duplicated hlint action in a PR (#391)
5 years ago
Gustavo Grieco 9322857c3f
Replace TravisCI by Github actions (#390)
5 years ago
Gustavo Grieco 63c2cd9d08
Allow to control corpus mutation constants using a configuration file
5 years ago
Gustavo Grieco dfa7fe2036
Show address in hex using "0x" (#386)
5 years ago
Gustavo Grieco ea7bb7c178
Added a script to release signed binaries and removed old script (#379)
5 years ago
Will Song 3a93b2cf9b
update hevm to 0.37, echidna 1.4.0.1 (#381)
5 years ago
Gustavo Grieco e38a467081
Small refactor for generalized shrinking (#374)
5 years ago
Gustavo Grieco cb22af4edf
Added new research tests and reorganized examples folder (#378)
5 years ago
Gustavo Grieco e5a58b75c0
Updates for 1.4.0.0 (#377)
5 years ago
Chris Maree 8940832a43
Update README.md (#375)
5 years ago
Gustavo Grieco 343d51093f
Filtering the functions to be called (#356)
5 years ago
Gustavo Grieco 71adeb926c
Basic mutations based on collected corpus (#370)
5 years ago
Gustavo Grieco 2fbd8a29a0
Small coverage refactoring (#367)
5 years ago
Gustavo Grieco 0bae37d496
Support to collect, save and load a corpus of transactions in JSON (#353)
5 years ago
Will Song f6dd7a6bbc
hlint workflow (#366)
5 years ago
Will Song 904ff55c08 update README
5 years ago
Will Song d467d9e115 update some fields
5 years ago
Will Song 6c0ad80eb1 bump version
5 years ago
Will Song 20c5214f72 update CHANGELOG
5 years ago
Alex Groce 0e2cd4464f
Merge pull request #355 from crytic/dev-gas-wcet
5 years ago
agroce 357297e83a add visibility
5 years ago
agroce 817b523cf8 avoid unused og
5 years ago
agroce ef7d8a86b7 codeclimate fix
5 years ago
agroce 4a2f114bc1 looser bounds
5 years ago
agroce 7f8dec0970 should also reverse
5 years ago
agroce 9f704e678b have shrinker, need to wire it in
5 years ago
agroce 33bf521e20 Add test for gas estimator
5 years ago
Will Song 04798f0dd0 use -i
5 years ago
Will Song 1a4a55de2e docker updates
5 years ago
agroce f1b6fe4ab9 test rename
5 years ago
agroce 825c3ddc1a fix tests
5 years ago
agroce fdef9c6248 pass 3
5 years ago
agroce 39ebf01871 codeclimate pass 2
5 years ago
agroce 3167beb6ff first codeclimate pass
5 years ago
Gustavo Grieco c50a9828c0
Fixed missing gas value in json
5 years ago
agroce 4cc68a2649 output json
5 years ago
agroce cef911c10d sort output, add an example
5 years ago
agroce 2dca6e895a pretty print gas use
5 years ago
agroce ee56431f76 reverse and keep smallest
5 years ago
agroce 21629b8d0b ugly output, but works
5 years ago