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

1213 Commits (057107505ec4f8c59ea869037839dfb853a83116)
 

Author SHA1 Message Date
JoranHonig 057107505e
Initial version of contributing.md
7 years ago
Bernhard Mueller 3fd3bfc4a5 Bump version number
7 years ago
Bernhard Mueller 280a92ba9f Remove Pipfile.lock
7 years ago
Bernhard Mueller 58babab83a
Merge pull request #246 from joshuata/joshuata/templating
7 years ago
Josh Asplund ac5b9e5c94 Fixes Manifest to include templates
7 years ago
Bernhard Mueller 63366f7c0e Bump version number
7 years ago
Bernhard Mueller 35f979a550 Fix broken search logic
7 years ago
Bernhard Mueller f0d4f81b7a Bump version number
7 years ago
Bernhard Mueller 792710b4ff Fix broken search command
7 years ago
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