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

3550 Commits (integer_experimental)
 

Author SHA1 Message Date
Bernhard Mueller 96c2f52dd8 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 81bd7abc91 Improve callgraph readability
7 years ago
Bernhard Mueller 57824d353b Update README.md
7 years ago
Bernhard Mueller 5b506623d0 Improve call graphs
7 years ago
Bernhard Mueller 3368c035f4 Change unknown function identifier
7 years ago
step21 9eb103b23d add ipc function for tracing
7 years ago
Bernhard Mueller 8244ed94b0 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 985c9cf3b9 Update requirements
7 years ago
Bernhard Mueller 67926b164e Update README.md
7 years ago
Bernhard Mueller bf37330631 Add graph example
7 years ago
Bernhard Mueller 3cae2a28fa Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 99a1283653 Remove graphviz requirement
7 years ago
Bernhard Mueller 2999f7ae9f Update README.md
7 years ago
Bernhard Mueller 1a2c4519ad Update README.md
7 years ago
Bernhard Mueller 430af27a53 Update README.md
7 years ago
Bernhard Mueller f3533fd9f3 Update callgraph pic
7 years ago
Bernhard Mueller 137815f674 Write callgraph to output file
7 years ago
Bernhard Mueller 77202b3f37 Update setup.py
7 years ago
Bernhard Mueller 9d038ed985 Replace Graphviz with jsviz
7 years ago
Bernhard Mueller 9e6b652123 Update setup.py
7 years ago
Bernhard Mueller 2ae66e6947 Fix setup.py
7 years ago
Bernhard Mueller d55185c0a1 Update requirements.txt
7 years ago
Bernhard Mueller 972431683c Update setup.py
7 years ago
Bernhard Mueller 4cbd162a0d Update setup.py
7 years ago
Bernhard Mueller 491499234f Update setup.py
7 years ago
Bernhard Mueller 72f857df4e Update README
7 years ago
Bernhard Mueller 1e98d6b7e9 update README
7 years ago
Bernhard Mueller d9ef7f0b13 Update README
7 years ago
Bernhard Mueller 95faad92ab Update setup.py
7 years ago
Bernhard Mueller fce7920df0 Fix setup.py
7 years ago
Bernhard Mueller d84c6452a0 Update setup.py
7 years ago
Bernhard Mueller 084d96a8df Update setup.py
7 years ago
Bernhard Mueller a41af72097 Update requirements
7 years ago
Bernhard Mueller 85663a0851 Refactoring
7 years ago
Bernhard Mueller 1581984a25 Add missing 'else'
7 years ago
Bernhard Mueller 0da06ca796 Remove duplicate commandline flag
7 years ago
Bernhard Mueller 0ec7f57bb2 laser integration
7 years ago
Bernhard Mueller f739be8ca5 Update setup.py
7 years ago
Bernhard Mueller c9e83bb035 Some refactoring
7 years ago
Bernhard Mueller e824333583 Merge pull request #7 from step21/master
7 years ago
Bernhard Mueller 7645ff9bb1 Update .gitignore
7 years ago
step21 359e504bd3 cleanup
7 years ago
step21 5eb98c6622 add/fix tests
7 years ago
Bernhard Mueller c2a9642abf Refactoring
7 years ago
Bernhard Mueller 68cbf1296f Add -v flag
7 years ago
Bernhard Mueller 57ca25bc6e Add 'fire-lasers' option
7 years ago
Bernhard Mueller 223ad38338 Change command line arguments
7 years ago
Bernhard Mueller dc82b4b774 Update setup.py
7 years ago
Bernhard Mueller 08cfc2d817 Delete symbolic link
7 years ago
Bernhard Mueller 3748449c2a Update gitignore
7 years ago