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

1804 Commits (6b830096ac5541e9df8edb77b7762d25742a76fd)
 

Author SHA1 Message Date
Joran Honig f4da38a2c1 Also pass execution timeout for graph
6 years ago
Joran Honig b28130cb8e State cleanup
6 years ago
Joran Honig 9108f48b88 remove assertions from state
6 years ago
Joran Honig 3fe5e03a71 Make global state use worldstate object versus accounts dictionary
6 years ago
Joran Honig f969b63ab5 cleanup call post, and constrain return value
6 years ago
Joran Honig 13e8ce9896 Instruction cleanup
6 years ago
Joran Honig f7e7bdcd73 Fix bug in return_
6 years ago
Joran Honig 39b1fe3111 Move exception handling to execute state and clean it up a lot
6 years ago
Joran Honig d00e394849 keep the new world_state
6 years ago
Joran Honig a41fa8d145 init return value
6 years ago
R. Bernstein 47da7a22f8
Merge pull request #391 from norhh/bugfix/fix_fallback_name
6 years ago
Nikhil Parasaram 14c9151d21 revert fallback name
6 years ago
Joran Honig 884ab7644f init transactions
6 years ago
Bernhard Mueller f423af8445 Merge branch 'master' of github.com:b-mueller/mythril
6 years ago
Bernhard Mueller 224e03d201 Make online lookup configurable in ETHContract constructor & disable it in search
6 years ago
Bernhard Mueller 24550d2ebf Make enable_online_lookup configurable in Disassembly class (plus some code cleanup)
6 years ago
Nikhil Parasaram 95c038bb5c
Merge pull request #388 from rbval/enhancement/remove_capitals
6 years ago
Ubuntu e38c02e647 Merge branch 'master' of github.com:ConsenSys/mythril
6 years ago
Ubuntu 0ea5cf221f Merge branch 'master' of github.com:b-mueller/mythril
6 years ago
Bernhard Mueller bdf2d788a9
Merge pull request #378 from b-mueller/master
6 years ago
Joran Honig e27512ad5d Use generalization
6 years ago
Robert Valta f5f74531d0 Revert byte strings
6 years ago
Nikhil Parasaram add65a47ae change fallback function's name
6 years ago
Nikhil Parasaram 651d44dcb9 change fallback function name
6 years ago
Nikhil Parasaram 25a915e4ff use simplify() only on BoolRef
6 years ago
Bernhard Mueller ff5107b6a5
Merge pull request #5 from ConsenSys/master
6 years ago
Ubuntu f49d6b806f Merge branch 'master' of github.com:ConsenSys/mythril
6 years ago
Joran Honig 479d3ccf42 Merge remote-tracking branch 'upstream/master' into features/createtransaction
6 years ago
Joran Honig 9bcfd70afb Contract creation init
6 years ago
Joran Honig f3863de661 Merge remote-tracking branch 'upstream/master' into features/codecopy
6 years ago
JoranHonig b991f93497
Merge pull request #390 from ConsenSys/bugfix/fix_fallback
6 years ago
Nikhil Parasaram 3756cdbf3d Merge branch 'master' of github.com:ConsenSys/mythril into bugfix/fix_fallback
6 years ago
Nikhil Parasaram 58b579e800 fix fallback
6 years ago
Joran Honig d294692327 Sort inputfiles
6 years ago
Joran Honig ff2261bb90 Merge remote-tracking branch 'upstream/master' into features/codecopy
6 years ago
JoranHonig edecca0c65
Merge pull request #375 from JoranHonig/bugfix/taint_active_account
6 years ago
Robert Valta 51207a6cfc Remove capital letters from local variables
6 years ago
Nikhil Parasaram ca0900e920 Remove reduandant open
6 years ago
Nikhil Parasaram a2e0696841 Merge branch 'master' of github.com:ConsenSys/mythril into add_truffle_signatures
6 years ago
Nikhil Parasaram e0565455a0 Store signatures for truffle
6 years ago
Ubuntu 61c17fe806 Merge branch 'master' of github.com:ConsenSys/mythril
6 years ago
R. Bernstein b6beed98d4
Merge pull request #385 from ConsenSys/python-3.5-intermittent
6 years ago
R. Bernstein 318860730c
Merge pull request #368 from ConsenSys/update-issue-template
6 years ago
Bernhard Mueller e4a4addfaf
Merge pull request #4 from ConsenSys/master
6 years ago
rocky 83fedfaf43 Force determinism in iterating over dictionary keys...
6 years ago
Nikhil Parasaram 19d2e1b0fd
Merge pull request #383 from norhh/bugfix/377
6 years ago
Nikhil Parasaram 4c98be0a4a Merge branch 'master' of github.com:ConsenSys/mythril into bugfix/377
6 years ago
Nikhil Parasaram f5b33b2fd0
Merge pull request #381 from norhh/bugfix/376
6 years ago
rocky 1408b8b920 Include Python version on bug report.
6 years ago
rocky abd1bb8ae0 Revise issue templates
6 years ago