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

297 Commits (m1-builds-github)

Author SHA1 Message Date
Will Song f9ded9c9b6 un-2 everything
5 years ago
Will Song bcc99d412f add tests
5 years ago
Will Song 4c48243c9b update tests
5 years ago
Will Song fe0708b326 get this shit to compile with placeholder functions
5 years ago
JP Smith ffc1145502 make tests pass + clean up a little code
5 years ago
JP Smith e985242605 finish up temporal stuff
5 years ago
JP Smith 7f755d596d sate hlint, clearer test names, comments
5 years ago
JP Smith b4073d2bcb continue hacking towards a working assertion failure finder
5 years ago
JP Smith 3a52c6b747 try adding assertion checking
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 8c3f741ef6
Disable single.sol
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
JP Smith b556993655 add constant scraping for return vals
5 years ago
JP Smith f3feae52b7 fix seed test, also indentation
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
ggrieco-tob cd6872da35 added examples into the CI tests
5 years ago
ggrieco-tob 34c463192f fixes
5 years ago
ggrieco-tob 477e969696 improved dynamic array generation and fixed shrinking
5 years ago
Gustavo Grieco 20cf61d2e5
Basic support for testing contracts with libraries (#236)
5 years ago
ggrieco-tob 0e9ffa3a92 use of prefix + code climate fixes
6 years ago
ggrieco-tob 1e4c7f37bb implemented '_revert' as suffix to functions
6 years ago
ggrieco-tob 460743aa08 redone PR
6 years ago
agroce d8cd93518b single.sol needs more time to find with nearby mining
6 years ago
agroce 501c90bb73 go back to just -/+1 mining, restore single.sol test
6 years ago
ggrieco-tob 7a67f1bb38 restored examples/solidity/basic/findValues.yaml (it was necessary)
6 years ago
ggrieco-tob 430fe391fb fixed tests
6 years ago
agroce 21c0ee999f try with yaml forcing more tests
6 years ago
ggrieco-tob eba22528bf fixes
6 years ago
agroce c576a83d71 remove memory reset test, add tests for this PR
6 years ago
ggrieco-tob a7d912301a addresses can hold and receive ether
6 years ago
ggrieco-tob 90b512fa72 added missing memory reset
6 years ago
Gustavo Grieco 104f60d6db
Fix contractAddr to use its configuration file (#185)
6 years ago
ggrieco-tob dd5369ac24 fixed index bug in the bytes32 constant extraction and generation
6 years ago
Will Song ad65d23d40
Open _ should also exitSuccess because it is not reported as a failure in the UI
6 years ago
ggrieco-tob 5064431e2e fixed bug in the dict generation + tests
6 years ago
JP Smith 288fff9bbf refined extractConstants further + updated test suite
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 9ff70f4ee7 make generation actually work
6 years ago
JP Smith b38f6bc6e4 experiment with adding dictionary support with a stabler API
6 years ago
JP Smith edf1e0d137 add regression tests
6 years ago
Gustavo Grieco a2e758608f
Removed useless pragma according to code climate
6 years ago
JP Smith d7a6e21883 rest of testing refactors
6 years ago
JP Smith 6b663f4679 clean up test file
6 years ago
ggrieco-tob 0106670210 refactored findTest'' to use find
6 years ago
Will Song 29bdb451d7 import the correct function
6 years ago
Will Song eb11903240 indent here as well
6 years ago