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

121 Commits (e38a46708168a4495bb3703d79533fea8e13645a)

Author SHA1 Message Date
Gustavo Grieco cb22af4edf
Added new research tests and reorganized examples folder (#378)
5 years ago
Gustavo Grieco 343d51093f
Filtering the functions to be called (#356)
5 years ago
Gustavo Grieco 0bae37d496
Support to collect, save and load a corpus of transactions in JSON (#353)
5 years ago
agroce 357297e83a add visibility
5 years ago
agroce 33bf521e20 Add test for gas estimator
5 years ago
agroce 825c3ddc1a fix tests
5 years ago
agroce cef911c10d sort output, add an example
5 years ago
agroce ee458f9b53 deleting mutants
5 years ago
Will Song 27022ab919 add this config file
5 years ago
Will Song 0157f06e46 add the multi-abi config flag
5 years ago
Will Song 1af7989379 add multi-abi test
5 years ago
Will Song ed7ed2f512 try adding test
5 years ago
Gustavo Grieco 0cd337470c Update cons-create-2.sol
5 years ago
Will Song e748939a6c get new contracts working
5 years ago
Will Song 76997d6ea7 add default initialize value
5 years ago
Will Song 63e029d7ac remove
5 years ago
Will Song 5a2e12c03e update local build
5 years ago
Will Song b3ed1774aa add defaults
5 years ago
Alex Groce b261d67332
coverage, not printCoverage
5 years ago
agroce fe13b55086 mutants
5 years ago
agroce 2f613c0e96 with revert checks
5 years ago
agroce 1a6a68c6b0 AddressArrayUtils example
5 years ago
agroce c448ad0d97 case consistency
5 years ago
Alex Groce 330750e741
Add stopOnFail to defaults
5 years ago
JP Smith 0bb8856f1c added support for configurable timeout
5 years ago
Gustavo Grieco 4f872749cf
Abort testing if constructor requires arguments (#316)
5 years ago
Will Song 4b7a4f03bb successfully load multicontract
5 years ago
Will Song 2d7ecd1137 initialize contracts
5 years ago
Artur Cygan 89ae283775 Fuzz tx.gasprice
5 years ago
Will Song cf502f1c7e add test
5 years ago
Artur Cygan 456d99c09c Fix default.yaml config
5 years ago
JP Smith eba0fea01c fix initialization
5 years ago
Will Song 30bb707eb7 make contracts compiler version agnostic
5 years ago
Will Song b5c7ffca9b use Vector for consistency and fix dynamic tuples
5 years ago
Will Song abe1f88561 parse abi json and add test abiv2 thing
5 years ago
agroce a807a99ed6 default delays to max of one week
5 years ago
JP Smith e985242605 finish up temporal stuff
5 years ago
JP Smith 677fc6e407 make sure that we don't error on no etests
5 years ago
JP Smith 68bc01aa8a add example config too
5 years ago
JP Smith 5d51264b30 check in example too
5 years ago
Will Song 413f97266b test (does not work !!)
5 years ago
Alex Groce 042b7437eb update default config, add some comments, change defaults for sender and propMaxGas (#272)
5 years ago
Gustavo Grieco 633155c86e
Support for truffle/embark using crytic-compile (#204)
5 years ago
Gustavo Grieco 7116d80302
Automatic constant mining of addresses from the configuration (#270)
5 years ago
JP Smith 35c703510d made things functional, wrote a test
5 years ago
JP Smith 67446a9629 Support max gas for txs and properties (#257)
5 years ago
Gustavo Grieco 45fdc6f8d3
added fallback function in the transaction generation (#252)
5 years ago
Will Song daa04ae30b Seeds of life 2 (#254)
5 years ago
Gustavo Grieco 1efd6bf975
Added support to configure the value of the CREATE transaction using balanceContract (#240)
5 years ago
ggrieco-tob f5f4fc461a added harvey examples from the paper
5 years ago