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

2318 Commits (865b93fb2c7d5f2eee33c462800f5f386545f01d)
 

Author SHA1 Message Date
Joran Honig def744a649 Use correct modular operations
6 years ago
Joran Honig a5515f867b Fix modulo instructions
6 years ago
Nikhil Parasaram d8f589a6a2
Merge pull request #455 from ConsenSys/maintence/402
6 years ago
Joran Honig 85e33e79ed Add test cases
6 years ago
Joran Honig dc10fe05c8 Simplify here, otherwise z3 won't correctly do if_false/if_true
6 years ago
Joran Honig 280f946e1f remove simplify
6 years ago
Joran Honig 47af409587 Enable bitvec to concrete int conversion
6 years ago
Joran Honig 5fe753313b Remove conditional here to fix bug
6 years ago
Joran Honig 553c519701 Fix typo
6 years ago
Joran Honig 3ffbfd2332 Make it more smaller
6 years ago
R. Bernstein 4ee8791914
Merge pull request #462 from ConsenSys/issue-emplate-shorten
6 years ago
Joran Honig 7c8aec2689 Implement generic evm_test and add initial tests to the repo.
6 years ago
Bernhard Mueller 8522c79ab6
Update README.md
6 years ago
JoranHonig 8d0dfd8f2e
Merge pull request #461 from ConsenSys/discord-tag
6 years ago
Bernhard Mueller ccdcc104bf
Update README.md
6 years ago
Bernhard Mueller 7dc3e57fea
Update README.md
6 years ago
Joran Honig ede28ab8f8 Change comparator
6 years ago
Joran Honig 192e3261f3 Deal with unknown input sizes
6 years ago
rocky e90b7ce46f Merge OS and OS-version fields
6 years ago
Joran Honig 16b96bac19 Add test and use slice assignment
6 years ago
Joran Honig 02963102f7 Initial arithmatic test implementation
6 years ago
JoranHonig 3bf80500fa
Add discord tag
6 years ago
Bernhard Mueller f3c12a1c2f Merge branch 'master' of github.com:ConsenSys/mythril
6 years ago
Nikhil Parasaram 6118b76fbc remove ipc module
6 years ago
Nikhil Parasaram 8cfe19c8c7 Merge branch 'master' of github.com:ConsenSys/mythril into feature/432
6 years ago
JoranHonig 2210fd24c6
Merge pull request #451 from JoranHonig/bugfix/taint_stop_end_transaction
6 years ago
Nikhil Parasaram 2ac8e3ab9e merge fixes
6 years ago
Nikhil Parasaram 1759faded0 Merge branch 'master' of github.com:ConsenSys/mythril into feature/432
6 years ago
Nikhil Parasaram 66b3af881c
Merge pull request #445 from ConsenSys/enhance/436
6 years ago
Joran Honig 1f98b69b48 Implement memory write function
6 years ago
Joran Honig 7ef0aa6a05 Filter on jumptype Transaction
6 years ago
Nikhil Parasaram 086ac7fe99 store data taken from the blockchain
6 years ago
Nikhil Parasaram 74c965aaad clean up code
6 years ago
Nikhil Parasaram 5140682b69 Remove unused imports and code cleanups
6 years ago
Nikhil Parasaram 5efb63e90e Load contract storage from block chain
6 years ago
Nikhil Parasaram 1411984d10
remove extra import statement due to merge
6 years ago
Nikhil Parasaram 3bbc85533a Merge branch 'master' of github.com:ConsenSys/mythril into enhance/436
6 years ago
Nikhil Parasaram 760f52ea0c Add create timeout flag for cli
6 years ago
JoranHonig 66673a3a32
Merge pull request #444 from JoranHonig/bugfix/reduce
6 years ago
Joran Honig 228797cb21 Fix merge issues
6 years ago
JoranHonig 8043fd70fa
Merge pull request #443 from JoranHonig/features/transaction_testing
6 years ago
Joran Honig a090f12be3 Make compatible with python 3.5
6 years ago
Joran Honig 2d443fc1ff Fix import errors
6 years ago
JoranHonig 39beb69ed1
Merge pull request #439 from JoranHonig/features/storagetests
6 years ago
JoranHonig d826dcdec3
Merge pull request #437 from JoranHonig/features/execute2transactions
6 years ago
Joran Honig 4192cc6ac0 Fix import
6 years ago
JoranHonig 657458bda3
Merge pull request #438 from JoranHonig/features/laser_clean
6 years ago
Joran Honig 4dfb2061bd Fix import
6 years ago
Joran Honig 5498c5e77c Test fixes
6 years ago
Joran Honig 8314be6074 Symbolic test implementation
6 years ago