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

3223 Commits (d8c4705b2fba95b2671cc159c3cab66af7b99655)
 

Author SHA1 Message Date
Joran Honig 3ca11d9262 fix type errors
6 years ago
Nikhil Parasaram f3aedd356c Use only Bool in constraints
6 years ago
Joran Honig 50a6080e78 add missing type hints to independence solver
6 years ago
Joran Honig 94ea7831c6 add required type hint
6 years ago
Joran Honig a772d58caa add type cast to solver
6 years ago
Joran Honig caa06776c5 interpret constraints as * argument
6 years ago
Joran Honig fa01a9a8ec Merge remote-tracking branch 'upstream/develop' into features/independence_optimization
6 years ago
Bernhard Mueller 3c1445bec0
Update README.md
6 years ago
JoranHonig adec5f608e
Merge pull request #897 from ConsenSys/enhance/604
6 years ago
Nikhil Parasaram 26e6e1777b Fix typehint for __iadd__
6 years ago
Joran Honig 1bd944c23e apply style rules
6 years ago
Joran Honig 103361f555 adapt gasvalue for testcases
6 years ago
Joran Honig 734d6c9b4a add ident argument
6 years ago
Joran Honig e33a32a3a6 add hooks and type dependencies
6 years ago
Joran Honig 8ab0fb1c41 add function end handler and use state annotation
6 years ago
Joran Honig a83fb67f45 add OverUndeflowStateAnnotation
6 years ago
JoranHonig b9e8ce8866
Merge branch 'develop' into enhance/604
6 years ago
JoranHonig c8f3429a7b
Merge pull request #894 from ConsenSys/mypy_branch
6 years ago
Joran Honig 896b3c4542 use list instead of list comprehension
6 years ago
Nathan c3aad236fa Fix bug and documentation for BitVecFunc
6 years ago
Nikhil Parasaram 91bae575ca Reformat code
6 years ago
Nikhil Parasaram 36fd075836 Remove extra type definitions, add todo, use Baseclass over Union[SymbolicCalldata, ConcreteCalldata]
6 years ago
JoranHonig 002e656b46
Merge branch 'develop' into enhance/604
6 years ago
Nikhil Parasaram b170d74f4f Merge branch 'develop' of github.com:ConsenSys/mythril into mypy_branch
6 years ago
Nikhil Parasaram 4902794758 Change Constraints.check_possibility() to Constraints.is_possible
6 years ago
Bernhard Mueller ef98d051c2 More fixes
6 years ago
Bernhard Mueller 43c774cdf0 Improve issue descriptions in suicide modules, fix typo
6 years ago
Nathan 5a8206fcb4
Merge pull request #870 from nbanmp/returndatacopy_returndatasize_implementations
6 years ago
Nathan 1dc622f90a Improve typehints, documentation, and implement <= and >= for BitVecFunc
6 years ago
Nikhil Parasaram f9aafe8a9f Add a execution-time require checker flag
6 years ago
JoranHonig ce8728eaac
Merge branch 'develop' into returndatacopy_returndatasize_implementations
6 years ago
Joran Honig 105feb44ac fix calldata tests
6 years ago
JoranHonig a877f62960
Merge branch 'develop' into enhance/604
6 years ago
Joran Honig 959635253d apply style rules
6 years ago
Joran Honig 05ddc59c77 refactor merge buckets to be private
6 years ago
Joran Honig aa94258e26 add type hints to model
6 years ago
Joran Honig ca1e97f965 refactor a bit of redundant code
6 years ago
Joran Honig 3761a2cbef add check to tests
6 years ago
Joran Honig b336a18132 refactor solvers to work based of * variable
6 years ago
Joran Honig 4d02d5ae54 fix typo
6 years ago
Joran Honig d6e30078fb add variable type annotations
6 years ago
Joran Honig 773583721b add return value types
6 years ago
JoranHonig c044c59907
Merge branch 'develop' into mypy_branch
6 years ago
Nikhil Parasaram 160721b76b
Merge pull request #905 from ConsenSys/update-version
6 years ago
Nikhil Parasaram 4dbbbb4aaa
Update version to 0.20.0
6 years ago
Nikhil Parasaram 5a4bdc97fd Remove BitVec() in expr
6 years ago
Nikhil Parasaram 006b3d1c95 Remove BitVec()
6 years ago
Nathan 7da8cc2974 Add cases for BitVecFuncs
6 years ago
Nikhil Parasaram 6edbc72dce Fix black errors
6 years ago
Nikhil Parasaram 689b6c469b Fix some mypy errors
6 years ago