Commit Graph

3130 Commits (b67c58ede8ad6d7639f7b7d57a6085571ed2c471)
 

Author SHA1 Message Date
Nikhil Parasaram f95c9de640
Merge branch 'develop' into bugfix/BECtoken 6 years ago
JoranHonig 990bff2a0a
Merge pull request #902 from JoranHonig/features/independence_optimization 6 years ago
Nathan 3e3eb18050 Update docs theme to the read the docs theme 6 years ago
Nathan bfed409e45 Add bitvecfunc tests 6 years ago
Nathan 5bfd7fe392 Rename BitVecFunc.input to BitVecFunc.input_ 6 years ago
Nathan 25a7774b12 Move BitVecFunc to bitvecfunc.py and add helper functions 6 years ago
Joran Honig 02abfa1d68 use separate variable for type purposes 6 years ago
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