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

32 Commits (8adbcac131d3ae2022191121db77192fb9a78ea4)

Author SHA1 Message Date
Yoichi Hirai fa3d846fc1 Do not reverse the call sequence
7 years ago
Maximilian Krüger 37c9290718 change abstraction boundaries for selectContract, readContracts, readContract
7 years ago
Maximilian Krüger 04366bb917 resolve #23
7 years ago
ggrieco-tob 7d8ddfc116 added a stack reset to cleanUp to avoid overflow
7 years ago
JP Smith 84540d5a25 bump property test limit way up
7 years ago
ggrieco-tob b8d8edb326 moved checkRTest to the revert example code
7 years ago
ggrieco-tob eb29574ef2 moved cleanUp inside execCall
7 years ago
ggrieco-tob 1cd88de56c alignment
7 years ago
ggrieco-tob dd3661a088 modified the revert example to use ePropertySeq
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
JP Smith e03bd91971 fixed state machine example
7 years ago
JP Smith ee64ea585d WError clean
7 years ago
JP Smith 917ae45429 simple bugfixes
7 years ago
JP Smith 05dc555160 started on custom UI
7 years ago
JP Smith 426725088d use type aliases
7 years ago
JP Smith c998062d4c refactor fuzz to return real callseqs
7 years ago
JP Smith 1d53638f4f fix small type error
7 years ago
JP Smith a81decd9a3 minor exec refactor
7 years ago
JP Smith c532002569 parallelize test execution
7 years ago
JP Smith a5489d95d3 switch echidna-test to use hedgehog
7 years ago
JP Smith 307110d0b7 clean up import lists
7 years ago
JP Smith 8589b7f0ae make displayAbiCall prettier
7 years ago
JP Smith 40d2e327f2 fix sequential call execution
7 years ago
JP Smith 795c2f52b2 fix a bunch of dumb stuff I forgot to do
7 years ago
JP Smith 0dab811f87 mtl style + fix checkETest
7 years ago
JP Smith 47f3a729ce solPredicate is obsolete as of checkETest and friends
7 years ago
JP Smith ed4c2bfc11 refactooooor
7 years ago
JP Smith 17ce3bd991 minor bugfixes
7 years ago
JP Smith 415cc0ebc8 magic oneline tool
7 years ago