TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
4535 Commits
97 Branches
171 Tags
59 MiB
Tag: Branch: Tree: dcce4e9ca1
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'dcce4e9ca1'
${ noResults }
Commit Graph

4535 Commits (dcce4e9ca10c15b60df0f1706178ac02c7ea2578)
 

Author SHA1 Message Date
Nathan b08a9d9d84 Constrain all transaction callers to have <= 1000 ETH
5 years ago
Nathan c6e2dec586
Merge pull request #1172 from ConsenSys/model-balances
5 years ago
Nathan 29796dd8da Fix bug compiling contracts without solc warnings
5 years ago
Bernhard Mueller 1cd1d95376
Merge branch 'develop' into model-balances
5 years ago
Nathan 73d11a6405
Update wiki links to Read the Docs links
5 years ago
Nathan 839e35a212 Merge branch 'analyze-with-mythx' of github.com:ConsenSys/mythril-classic into analyze-with-mythx
5 years ago
Nathan 6f337f8bc7 Document MythX analysis
5 years ago
Nathan c0b74d8187 Fix compilation error handling
5 years ago
Nathan a22e2ba81f Fix error preventing contract name from being set
5 years ago
Nikhil Parasaram fef8a477b6
Merge branch 'develop' into model-balances
5 years ago
Nathan 306392463f
Merge branch 'develop' into analyze-with-mythx
5 years ago
Bernhard Mueller a0c5fa9bee Bump version number
5 years ago
Nathan f185fc2838
Merge pull request #1175 from ConsenSys/feature/import-custom-modules
5 years ago
Nathan 8ada755aa7
Minor grammar improvements
5 years ago
Nathan 2a67135380
Merge branch 'develop' into feature/import-custom-modules
5 years ago
NeolithEra 838de40858 Fix dependency conflict for issue (#1181)
5 years ago
e-ngo db449a32d8 Added ProgramCounterException to display a clearer message when pc is out of bounds. (#1180)
5 years ago
e-ngo db5db7cc8f Removed unnecessary comments and cleaned up code
5 years ago
e-ngo c6e8cc8ffa Revert "Refactored code"
5 years ago
e-ngo ab75e8a925 Merge branch 'feature/import-custom-modules' of https://github.com/ConsenSys/mythril into feature/import-custom-modules
5 years ago
e-ngo 938dee8e6e Revert "Fixed some logic"
5 years ago
Bernhard Mueller daadda1886
Update old_cli.py
5 years ago
Bernhard Mueller a2b2b7ded3
Merge branch 'develop' into model-balances
5 years ago
Bernhard Mueller b044fcd9b1 Fix wrongly named constructor arg
5 years ago
Bernhard Mueller 2975d71985
Merge branch 'develop' into feature/import-custom-modules
5 years ago
Bernhard Mueller d540abdd7f
Merge branch 'develop' into analyze-with-mythx
5 years ago
Bernhard Mueller 974f2f1036
Merge pull request #1177 from palkeo/develop
5 years ago
Bernhard Mueller 3f260d9df6
Merge branch 'develop' into analyze-with-mythx
5 years ago
e-ngo 80c21a37a2 Fixed some logic
5 years ago
e-ngo a8dc3aa7bc Refactored code
5 years ago
Nathan b4dbbd2862
Merge branch 'develop' into develop
5 years ago
Bernhard Mueller 649b0cd07e
Merge pull request #1178 from palkeo/fix_1176
5 years ago
palkeo 0844497e41 Revert commit that should not have been here (other PR)
5 years ago
palkeo d22b791ba7 Remove logging messages, and a "pass"
5 years ago
palkeo 739ac0337b Fix #1176: load map items
5 years ago
palkeo 49fbb5f82f Fix #1176: retrieve map items.
5 years ago
palkeo a2a85081f6 Add a logger in account.py
5 years ago
palkeo 83f0cc966d Reformat with black.
5 years ago
Nathan 518e33b45b Fix incorrect values in some suicide evm tests
5 years ago
palkeo dbe1f5210a Various small fixes.
5 years ago
e-ngo ed032165d4 Refactored interfaces to run custom modules
5 years ago
Nathan 2aa0d39646 Only add constraint to symbolic Ether balances
5 years ago
Aleksandr Sobolev 9cb791958d Inject missing env variables (#1174)
5 years ago
e-ngo 8071a3c617 Updated jinja templates to report initial state of the transaction sequences. (#1173)
5 years ago
Nathan 3c2ef90056 Merge branch 'model-balances' of github.com:ConsenSys/mythril-classic into model-balances
5 years ago
Nathan 267fbf06eb Fix missing argument to function
5 years ago
Nathan 61b84b9c4c
Merge branch 'develop' into model-balances
5 years ago
Nathan a288da7bb5 Clean up leftover code
5 years ago
Nathan 584bdf13d6 First draft of ether balance modeling
5 years ago
e-ngo b3d522b49c Enable coverage based search strategy through CLI (#1171)
5 years ago