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

889 Commits (8e7bd27ad885ba26626659129e3959ce0944c47f)
 

Author SHA1 Message Date
agroce c448ad0d97 case consistency
5 years ago
agroce e8b8d3b123 correct condition, but bad extract of stopOnFail
5 years ago
Alex Groce 785548043e
Only done when in Failed/Solved state
5 years ago
Alex Groce 330750e741
Add stopOnFail to defaults
5 years ago
Alex Groce c968bf08dc
Should be an any
5 years ago
Alex Groce 5e47fe9699
Add stopOnFail to campaign config/checks
5 years ago
Alex Groce f695821887
Add stopOnFail config option
5 years ago
Gustavo Grieco 93c668d44d
Increase dictionary frequency usage parameter up to 40% (#321)
5 years ago
JP Smith 39887ad112
Merge pull request #320 from crytic/dev-timeout-take2
5 years ago
JP Smith 4e6c61b740 Merge branch 'master' into dev-timeout
5 years ago
JP Smith 0bb8856f1c added support for configurable timeout
5 years ago
Artur Cygan 23055052cb
Merge pull request #310 from arcz/imp-tx-shrink
5 years ago
Artur Cygan 4880acdce2 Don't sequence possibilities
5 years ago
Artur Cygan 8ebc80239e Make transaction shrink choice cleaner
5 years ago
Artur Cygan cf0039e010 Improve transaction shrinking
5 years ago
Artur Cygan 393b73fcca
Merge pull request #298 from arcz/enforce-nonempty
5 years ago
Artur Cygan 36d3344990 Fix linter suggestions
5 years ago
Artur Cygan 9aade816a8 Enforce non-empty list for rElem
5 years ago
Will Song 84f3801a14
Merge pull request #317 from crytic/dev-remove-abiv2
5 years ago
Gustavo Grieco 4f872749cf
Abort testing if constructor requires arguments (#316)
5 years ago
Gustavo Grieco 9e941e97d7
Fixed contract name matching (#315)
5 years ago
JP Smith 3331442965 remove unnecessary encoding tests
5 years ago
JP Smith 83d88d1f9a update hevm, remove abiv2
5 years ago
JP Smith 231bc31dfc
Merge pull request #292 from crytic/dev-insn-tracer
5 years ago
Gustavo Grieco 9f639cae19
expose the dictionary frequency use parameter to allow experimentation (#312)
5 years ago
JP Smith 49acd1e791
Merge pull request #307 from arcz/fuzz-gasprice
5 years ago
JP Smith 05fd10e079 remove bad nonce fix
5 years ago
Artur Cygan d480f1e45b Reduce diff size
5 years ago
Will Song 4b7a4f03bb successfully load multicontract
5 years ago
Will Song 38fc64e6f2 load contracts correctly, but now everything reverts
5 years ago
Will Song 2d7ecd1137 initialize contracts
5 years ago
Will Song 7a8ae8d749 Merge branch 'master' into dev-multicontract-2
5 years ago
Artur Cygan a68ce37657 Fix typo
5 years ago
Artur Cygan 89ae283775 Fuzz tx.gasprice
5 years ago
Will Song 3efc195f3f
Merge pull request #300 from arcz/fix-coverage-capturing
5 years ago
Will Song ab25ea84a3
$
5 years ago
Will Song fe7c2d02cb
Merge branch 'master' into fix-coverage-capturing
5 years ago
Will Song ff46f5f8fc
Merge pull request #299 from arcz/config-fix
5 years ago
Will Song e3193b8469
Merge pull request #303 from crytic/fix-dynamic
5 years ago
Will Song cf502f1c7e add test
5 years ago
Will Song c8703a6e19 codeclimate
5 years ago
Will Song 317ba882bd remove bad commented code
5 years ago
Will Song 2beb610147 fix warning
5 years ago
Will Song 1ead948d36 fix dynamic tuples
5 years ago
Will Song 18b6b04051 warn on unused keys
5 years ago
Artur Cygan 9f6a31a9eb Rename "coverageParser" -> "cov" to avoid confusion
5 years ago
Artur Cygan 68c580305c Fix coverage optimization and configuration
5 years ago
Artur Cygan 456d99c09c Fix default.yaml config
5 years ago
JP Smith fe0af9926c
Merge pull request #293 from crytic/dev-fix-initialization
5 years ago
JP Smith eba0fea01c fix initialization
5 years ago