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

1254 Commits (d79262cb251cd08477e1a23f236318398f8d1451)
 

Author SHA1 Message Date
Bernhard Mueller 65fd0cae4f
Merge pull request #236 from JoranHonig/feature/multiple_sends
7 years ago
Bernhard Mueller 02eb9d6f93
Merge pull request #235 from JoranHonig/features/module_clean
7 years ago
Bernhard Mueller 4dfb67871a
Merge pull request #233 from ConsenSys/feature/issue_templates
7 years ago
Joran Honig d455995bbd Cleanup
7 years ago
Joran Honig 25f4767c60 Init multiple calls
7 years ago
Joran Honig 0c1578338e Rename test so pytest catches it
7 years ago
Joran Honig 05b22c6ff6 Merge remote-tracking branch 'upstream/master' into features/module_clean
7 years ago
Joran Honig 6af59577e1 Adds calldata based symbolic call test
7 years ago
Joran Honig 1b75cca7c5 Fixes #234
7 years ago
Joran Honig 813410c665 Add more unit tests
7 years ago
Joran Honig f8ed65ef0a Cleanup concrete call test and add not concrete call test
7 years ago
Joran Honig 1f50895c56 Initial delegate call tests
7 years ago
JoranHonig 91cfa91657 Create initial issue templates for a bug report and analysis module
7 years ago
Bernhard Mueller 61ae03f425
Merge pull request #230 from syncikin/master
7 years ago
kyle 6f72fa915e Updated test files to reflect the fixed typo
7 years ago
kyle c39ef01d99 fixed typos
7 years ago
Dr. Sergey Pogodin ada683b727 Fix of CircleCI script: ensures same image version in all jobs
7 years ago
Dr. Sergey Pogodin a055e2d94b Merge branch 'ci/cd'
7 years ago
Dr. Sergey Pogodin 95b1b5ef9f test of PR build
7 years ago
Dr. Sergey Pogodin 9194ee17da Update of CI/CD setup
7 years ago
Dr. Sergey Pogodin 447e5343e1 Merge branch 'master' into ci/cd
7 years ago
Dr. Sergey Pogodin c7bcc4e809 Merge branch 'master' into ci/cd
7 years ago
Bernhard Mueller 1590f0bf9d
Update README.md
7 years ago
Bernhard Mueller cb4e6a0a6d
Update README.md
7 years ago
Bernhard Mueller 3a38593d7f
Merge pull request #218 from JoranHonig/bugfix/functionname
7 years ago
Joran Honig 9cc7554f71 Delegate call cleanup
7 years ago
Bernhard Mueller fcc7f58c2e
Update README.md
7 years ago
Joran Honig 91ed241526 Update the signatures before creating the contract, as the contract uses the file
7 years ago
Bernhard Mueller 7c9ef40672
Update README.md
7 years ago
Bernhard Mueller d47a243b44
Update README.md
7 years ago
Bernhard Mueller e2c06cc703
Merge pull request #217 from juztin/master
7 years ago
Justin Wilson fa7a76ca6b Slimmed down Dockerfile, with `myth` set as the entrypoint.
7 years ago
Dr. Sergey Pogodin 7c1ce02f33 Fix CircleCI script
7 years ago
Dr. Sergey Pogodin f0a2345629 Merge branch 'ci/cd'
7 years ago
Dr. Sergey Pogodin 284545ea7d Merge branch 'master' into ci/cd
7 years ago
Bernhard Mueller 84a645f37a
Merge pull request #216 from JoranHonig/bugfix/noissues
7 years ago
Joran Honig 2a1693123f Only get filename if there is an issue
7 years ago
Bernhard Mueller fecf061d3d
Merge pull request #212 from ConsenSys/revert-211-features/integerpool
7 years ago
Bernhard Mueller 320ef63250
Revert "Run overflow detection in a thread pool"
7 years ago
Bernhard Mueller ffa8cfb284
Merge pull request #211 from JoranHonig/features/integerpool
7 years ago
Dr. Sergey Pogodin 45571187eb Fix
7 years ago
Dr. Sergey Pogodin e7e4f8e718 CI/CD update to use integration tests
7 years ago
Joran Honig 5891bcc1cb Add pretty print
7 years ago
Joran Honig 7b847d5c0f Compute underflow synchronously
7 years ago
Joran Honig 397ba70d5e ctxses
7 years ago
Joran Honig 6165c83e1b Merge remote-tracking branch 'upstream/master'
7 years ago
Joran Honig 781f7a5973 remove unused variable
7 years ago
Bernhard Mueller ad34e05b37
Merge pull request #206 from joshuata/joshuata/report_templating
7 years ago
Josh Asplund 6f5b9f83ee Fixes name mismatch
7 years ago
Josh Asplund 71e512a682 An extra newline was being added by the editor
7 years ago