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

9 Commits (37ed299f2295c4284c5005574ed68e5b78202388)

Author SHA1 Message Date
JoranHonig 5f7418721a
Revert change on config.yml
7 years ago
Joran Honig 57fae13156 Don't do fp detection for mul statements
7 years ago
Dr. Sergey Pogodin 3d33e75299 Updates PyPI deployment by CircleCI (see README_DEV.md for instructions)
7 years ago
Joran Honig d7f243584b Revert config change
7 years ago
Joran Honig fa69d1ec0c Adapt weak random output
7 years ago
Josh Asplund 09521c1190 Adds circleci test support
7 years ago
Dr. Sergey Pogodin 2784a39968 Fix
7 years ago
Dr. Sergey Pogodin cf1f131c6b CI/CD config: Autorelease of tagged commits to PyPI
7 years ago
Dr. Sergey Pogodin 071976c05a Fix of setup script & improvement of CI/CD testing
7 years ago
Dr. Sergey Pogodin a3e1d71018 Fix of CI/CD
7 years ago
Dr. Sergey Pogodin 25335f7fd1 Ready?
7 years ago
Dr. Sergey Pogodin 3c44927ec4 Fooling around
7 years ago
Dr. Sergey Pogodin f07c77fd5a Fix: misprint in CircleCI config dir name
7 years ago
Dr. Sergey Pogodin 6719e7c0f2 Initial draft of the CI/CD with Circle CI
7 years ago