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

1236 Commits (6886d149c7889996e5a14e4fb05298902de45236)
 

Author SHA1 Message Date
Joran Honig cc1978d264 Change ints to bitvec
7 years ago
Joran Honig d0df9ffdac Define version for rlp
7 years ago
Joran Honig f44b849be4 Use cpu count to initialize the pool and use all input files
7 years ago
Joran Honig 9c2af07936 Documentation for private test functions
7 years ago
Joran Honig 94e823bf48 Clean up reports_test
7 years ago
Joran Honig 5edcd0ddcd Include error message which describes the difference between the expected and actual output
7 years ago
Joran Honig 59afc85a64 remove old test files
7 years ago
Joran Honig 09656dea45 Merge remote-tracking branch 'upstream/master' into features/testoptimization
7 years ago
Joran Honig ace15aaa5a Rewrite tests to pytests
7 years ago
Dr. Sergey Pogodin ab0fad61b6 v0.16.26
7 years ago
Dr. Sergey Pogodin 177d4be95b Merge branch 'master' into f2f-30064730-N1k1tung
7 years ago
Dr. Sergey Pogodin 7e11dd5ba4 F2F: Improve reading of dynamic arrays
7 years ago
Bernhard Mueller d1db221207 Bump version number
7 years ago
Bernhard Mueller 5116438cf1 Quick Python 3.4-3.5 compatibility fix
7 years ago
Bernhard Mueller 0e63d7c429
Merge pull request #146 from JoranHonig/bugfix/taintcheck
7 years ago
Bernhard Mueller dc8b07bb39
Merge pull request #147 from lazzarello/dockerfile
7 years ago
Lee Azzarello f26f781d9e explicitly satisfy rlp dependency
7 years ago
Joran Honig 12184dbedd Check if included expression is not prefixed by illegal character
7 years ago
Joran Honig 6b534dbff2 CHange extentions
7 years ago
Joran Honig 20a27bef85 Parallel execution
7 years ago
Bernhard Mueller 1acfc99586 Bump version number
7 years ago
Bernhard Mueller febf3589a3 Bump version number
7 years ago
Bernhard Mueller 0d0aeb58cc Remove a line that breaks Python 3.5 compatiblity
7 years ago
Dr. Sergey Pogodin 3e4340174e v0.16.21
7 years ago
Dr. Sergey Pogodin 0cc74f409c Another attempt to fix setup.py
7 years ago
Dr. Sergey Pogodin 920f286b00 Fix setup.py
7 years ago
Dr. Sergey Pogodin 59d8d9ecd0 Merge remote-tracking branch 'origin/master'
7 years ago
Bernhard Mueller 8868012b1c
Merge pull request #141 from JoranHonig/bugfix/maxuint
7 years ago
Dr. Sergey Pogodin 3d33e75299 Updates PyPI deployment by CircleCI (see README_DEV.md for instructions)
7 years ago
Joran Honig d7d05b769e remove unused variable
7 years ago
Joran Honig d7f243584b Revert config change
7 years ago
Joran Honig 950a717f2b Update rubixi tests after increasing the solver timeout
7 years ago
Joran Honig 4b6ad7cb90 Set solver timeout to 10000 to get consistent results
7 years ago
Joran Honig fa69d1ec0c Adapt weak random output
7 years ago
Joran Honig 9f717f21b1 Revert "Update expected test outputs"
7 years ago
Joran Honig bd90bcdcdb Implement new overflow constraint
7 years ago
Joran Honig 7db3e6b379 Merge remote-tracking branch 'upstream/master' into bugfix/maxuint
7 years ago
Joran Honig c9cd1e206b Change interger.py to check for specific overflow in overflow.solc for debugging purposes
7 years ago
Bernhard Mueller 2f98e962d3 Update expected test outputs
7 years ago
Joran Honig 058b37cae2 Change max unsigned integer size
7 years ago
Bernhard Mueller 02a61212ad
Merge pull request #132 from joshuata/joshuata/compilation
7 years ago
Bernhard Mueller 3133fefce6 Fix dynamic array access
7 years ago
Josh Asplund 09521c1190 Adds circleci test support
7 years ago
Josh Asplund 382a6a7796 Revert "Changes to Pipfile"
7 years ago
Josh Asplund 28a2af020b Changes to Pipfile
7 years ago
Josh Asplund 64d308b513 Updates requirements
7 years ago
Josh Asplund e39ad79907 Adds Pipfile and fixes compile errors
7 years ago
Bernhard Mueller dd78e5d307
Update README.md
7 years ago
Bernhard Mueller 768e798ffe Add .gitattributes
7 years ago
Bernhard Mueller 5532d1e775 Also add jinja2 to setup.py
7 years ago