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

3907 Commits (jinja-print-initial-state)
 

Author SHA1 Message Date
Bernhard Mueller 501c774486 Merge branch 'develop' of github.com:ConsenSys/mythril-classic into develop
6 years ago
JoranHonig 9c6d8420c6
Merge pull request #1028 from ConsenSys/remove/mythril.py
6 years ago
Nikhil Parasaram 4180870117 Remove mythril due to some merge conflicts
6 years ago
Bernhard Mueller c19f54e17d Black %#;.@&%^&
6 years ago
Bernhard Mueller f79342ef04 Global execution timeout
6 years ago
JoranHonig 7a6463aaee
Merge pull request #1022 from ConsenSys/bugfix/stop
6 years ago
Nikhil Parasaram b1ecbdc929 Handle return_data=None case
6 years ago
Bernhard Mueller fda18b3e77 Change timeout logic
6 years ago
JoranHonig e08ce7e785
Merge pull request #1016 from ConsenSys/features/disable_fp_filter
6 years ago
JoranHonig 3095a5efcf
Merge branch 'develop' into features/disable_fp_filter
6 years ago
Joran Honig ec0794a54b add return character
6 years ago
Joran Honig 271eda6111 Disable effect check feature
6 years ago
Dr. Sergey Pogodin 2348c75a58 Sets up integration tests
6 years ago
JoranHonig 27af71c34b add create2 opcode to hooks (#1006)
6 years ago
Nikhil Parasaram 5b2dbd9b94
Send the transaction count to the Analyzer (#998)
6 years ago
JoranHonig 0ff82e7e7e
Merge pull request #919 from ConsenSys/enhance/886
6 years ago
JoranHonig 10cbe0e48e
Merge branch 'develop' into enhance/886
6 years ago
Ooqu4 8967ea3090 Fix some minor typos (#1003)
6 years ago
Nikhil Parasaram 44ed641f81
Update mythril to 0.20.4
6 years ago
Bernhard Mueller 819747128d
Merge pull request #1002 from ConsenSys/bugfix/source_list
6 years ago
Nikhil Parasaram 7af06fe6f9 Add the runtime bytecode to source list
6 years ago
Nikhil Parasaram 8254bf1f5c
Merge pull request #1000 from ConsenSys/fix/log-format
6 years ago
Dominik Muhs 7adb14c329 Fix cli log format
6 years ago
Dominik Muhs 6b70e1e10a Fix jsonv2 log format
6 years ago
Nikhil Parasaram 228ea789ed Remove the annotation removal
6 years ago
Nikhil Parasaram 931432ad85 Use statechange address
6 years ago
JoranHonig 0615a2a219
Merge pull request #997 from ConsenSys/bugfix/ret
6 years ago
Nikhil Parasaram 38daa586bd Add creation hash to the code
6 years ago
Nikhil Parasaram d42153f592
Merge pull request #971 from ConsenSys/jsonv2fix
6 years ago
Nikhil Parasaram 1a5a761bb6 Fix the merge conflict problem
6 years ago
Nikhil Parasaram aba7e32edf Fix merge conflicts
6 years ago
JoranHonig e314bfc990
Merge branch 'develop' into enhance/886
6 years ago
Nikhil Parasaram ca1c496bae Fix annotation problem
6 years ago
Nikhil Parasaram f4893eea65
Merge pull request #994 from ConsenSys/enhance/w/886
6 years ago
Joran Honig 19c12ca685 make typehint compatible with 3.5
6 years ago
Joran Honig 672fcd6c0d make sure the target address is higher than 16
6 years ago
Joran Honig 056e105bee refactor state change after external call module
6 years ago
Joran Honig e2b34eec8c refactor _balance_change to work with bitvec
6 years ago
Joran Honig d3103d780f remove unused dependency from external calls module
6 years ago
JoranHonig 8c45c18188
Merge pull request #989 from ConsenSys/features/coverage_based_search_strategy
6 years ago
Joran Honig c4b25f482b apply style changes
6 years ago
Joran Honig 1737e50e73 implement instruction coverage based plugin
6 years ago
Joran Honig c966152d4c move coverage plugin to separate package and add function to
6 years ago
Joran Honig aad81074f7 add type hints to strategy
6 years ago
JoranHonig 71f1b95ee1
Merge pull request #986 from ConsenSys/maintenance/use_instruction_coverage_plugin
6 years ago
JoranHonig aab295d7b4
Merge branch 'develop' into maintenance/use_instruction_coverage_plugin
6 years ago
Nikhil Parasaram 71764dbe31
Update version to 0.20.3
6 years ago
Joran Honig 0c6c9de851 add per transaction coverage increase metrics
6 years ago
Joran Honig 1d8995402d add transaction hooks to svm
6 years ago
Joran Honig 6971b2c2e7 add todo comment to benchmark plugin
6 years ago