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

1832 Commits (7f9acbce4c0f950f522d253d6cc3f2dc7da05921)
 

Author SHA1 Message Date
Bernhard Mueller 7f9acbce4c Update wording 'tx order independence' -> 'dependence'
6 years ago
Bernhard Mueller 6443816bcc Merge branch 'master' of github.com:ConsenSys/mythril
6 years ago
Nikhil Parasaram f0eb7ede50
Merge pull request #499 from dmuhs/fix/487
6 years ago
Nikhil Parasaram 967c4c2fa8
Merge branch 'master' into fix/487
6 years ago
Bernhard Mueller df6f2f35df Merge branch 'master' of github.com:ConsenSys/mythril
6 years ago
JoranHonig a5a2a12185
Merge pull request #512 from JoranHonig/features/suicide
6 years ago
Bernhard Mueller 1404a1c95a Merge branch 'master' of github.com:ConsenSys/mythril
6 years ago
JoranHonig d46ff3a5ed
Merge pull request #511 from JoranHonig/bugfix/510_multiple_send
6 years ago
Joran Honig 7adf300ba4 shorten statement
6 years ago
Joran Honig 383c58ed67 Small fixes around suicide implementation
6 years ago
Joran Honig c8e0dfa01c Create real account for symbolic test
6 years ago
Joran Honig cc62c27992 Add documentation string to suicide
6 years ago
Joran Honig 0a6e804019 Don't execute dead contracts
6 years ago
Joran Honig cc53eaac48 Initial suicide implementation
6 years ago
Joran Honig cb5dcef942 Don't explore nodes that aren't in the same transaction
6 years ago
Nikhil Parasaram 52278c1c21
Merge pull request #502 from dmuhs/fix/479
6 years ago
Dominik Muhs 2e4f194231 Set eth-typing version number as required by eth-utils
6 years ago
Dominik Muhs 4f5a443776 Remove redundant output encode
6 years ago
Dominik Muhs c9fde40ffd Set locale in Dockerfile to en_US.UTF-8
6 years ago
Nikhil Parasaram 6b847a3bf5
Merge pull request #494 from ConsenSys/enhance/PushDupSwapTests
6 years ago
Nikhil Parasaram cd98a0c807 Merge with master
6 years ago
JoranHonig e982d10259
Merge pull request #501 from JoranHonig/working/suicide_restructure
6 years ago
Nikhil Parasaram 8df53bf737
Merge pull request #498 from ConsenSys/norhh-patch-1
6 years ago
JoranHonig c12f0976d9
Merge branch 'master' into working/suicide_restructure
6 years ago
Nikhil Parasaram e8bedc1afb
Merge pull request #507 from norhh/ganache-fix
6 years ago
Nikhil Parasaram c430385223 Change ganache default to 8545
6 years ago
Joran Honig 3317dab517 Check length child states
6 years ago
Dominik Muhs 5ceb83e219 Add default utf-8 python IO encoding to dockerfile env
6 years ago
Dominik Muhs 2c9e6432b1 Add UTF-8 decoding to print output
6 years ago
Dominik Muhs 346b3eea7f Update instruction decorator's name and add docstring
6 years ago
Dominik Muhs c3865b0a2e Refactor instruction decorator into smaller methods
6 years ago
Joran Honig b306d15032 remove type hint because it is not supported in 3.5
6 years ago
Joran Honig 9a5792f483 adds keccak function manager
6 years ago
Joran Honig 2d1c59e024 change tests to reflect changes in laser and analysis modules
6 years ago
Joran Honig a52ca4230a add timeout to test
6 years ago
Joran Honig bac076098c Revise laser to work using keccak store
6 years ago
Joran Honig 90f5622939 transaction identifiers
6 years ago
Dominik Muhs 4e56c9fc75 Fix instruction list offset due to added JUMPDEST
6 years ago
Dominik Muhs ecaeaec91f Add class-based decorator for instructions
6 years ago
Nikhil Parasaram 01bb77cba5 shorten addition statement
6 years ago
Nikhil Parasaram 39fca3699d simplify push instruction
6 years ago
Nikhil Parasaram 76555d285d
increase version number
6 years ago
Nikhil Parasaram 554c929535
Merge pull request #481 from ConsenSys/bugfix/446
6 years ago
Nikhil Parasaram c0dbe762a5 fix push instruction and review fixes
6 years ago
Bernhard Mueller c0b2d52da0 Merge branch 'master' of github.com:ConsenSys/mythril
6 years ago
Nikhil Parasaram 7939dccb95
Merge pull request #495 from dmuhs/fix/488
6 years ago
Dominik Muhs dbda4c5d24 Add fixed canvas height relative to body tag
6 years ago
Dominik Muhs 3f27667d84 Add fixed html and body height, avoid scrollbar
6 years ago
Dominik Muhs 50cab170a8 Remove redundant paragraph tag
6 years ago
Nikhil Parasaram 88a756ff68 Add tests directory
6 years ago