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

37 Commits (84f3801a140733e9a4ce0616201442bdf763c87b)

Author SHA1 Message Date
JP Smith 83d88d1f9a update hevm, remove abiv2
5 years ago
Artur Cygan d480f1e45b Reduce diff size
5 years ago
Artur Cygan a68ce37657 Fix typo
5 years ago
Artur Cygan 89ae283775 Fuzz tx.gasprice
5 years ago
Will Song e8f1591429 remove Show instance
5 years ago
Will Song 0fa8c95e64 nit
5 years ago
Will Song f9ded9c9b6 un-2 everything
5 years ago
Will Song 0a114d1767 move more stuff to ABIv2.hs and get rid of final dependency on HEVM ABIv1
5 years ago
Will Song 7862c381cf move abiv2 stuff into its own file
5 years ago
Will Song 8f3d98bc09 remove legacy code, fix most unused import warnings
5 years ago
Will Song b5c7ffca9b use Vector for consistency and fix dynamic tuples
5 years ago
Will Song 2aee201ad5 ABIv2 encoder shit compiles, might be wrong, probably mostly correct
5 years ago
JP Smith ffc1145502 make tests pass + clean up a little code
5 years ago
JP Smith ef479379d8 hliiiint
5 years ago
JP Smith e985242605 finish up temporal stuff
5 years ago
JP Smith abb7754834 echidna can do some temporal stuff now
5 years ago
Will Song 1205c60668 add some ABIv2 types
5 years ago
JP Smith cd2e102646 first steps towards function-local assert failures
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
Gustavo Grieco 1efd6bf975
Added support to configure the value of the CREATE transaction using balanceContract (#240)
5 years ago
JP Smith 406559b8f2 code cleanup
5 years ago
ggrieco-tob 75d4a179c2 fixes
5 years ago
ggrieco-tob 987653e410 upgraded to hevm-0.30
5 years ago
ggrieco-tob 460743aa08 redone PR
6 years ago
agroce 0b005241bb undo gustavo's memory fix
6 years ago
ggrieco-tob 90b512fa72 added missing memory reset
6 years ago
ggrieco-tob c88af30593 upgrade to hevm 0.24
6 years ago
Gustavo Grieco 823d4a1c0a
Fixed use of contractAddr to define the address of the contract (#182)
6 years ago
JP Smith e7ea8f93ec coverage optimization might work now idk
6 years ago
JP Smith 3ba58788d0 add ui change functionality to config
6 years ago
JP Smith a2449b8b34 docstrings 4 days
6 years ago
JP Smith 468def9b81 rewrite echidna to work better
6 years ago