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

3291 Commits (42ebc3bd51b697f803e170db0c7531a9d1eaeda8)
 

Author SHA1 Message Date
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
Nikhil Parasaram 9ae75a6a26 Merge branch 'develop' of github.com:ConsenSys/mythril into mypy_branch
6 years ago
JoranHonig 5dc56facaa
Merge pull request #904 from JoranHonig/bugfix/elt
6 years ago
Joran Honig 8e4a70f093 comparison should check for <= instead of <
6 years ago
Nikhil Parasaram 512478a7c3
Merge pull request #903 from ConsenSys/remove_alarm
6 years ago
Nikhil Parasaram 2b98ae7163 Remove __
6 years ago
Nikhil Parasaram d594d08286 Remove alarm
6 years ago
JoranHonig 70aa0a46eb
Merge branch 'develop' into returndatacopy_returndatasize_implementations
6 years ago
JoranHonig 13e67fbf54
Merge pull request #900 from ConsenSys/bugfix/solver-timeout
6 years ago
JoranHonig 09cf236576
Merge branch 'develop' into bugfix/solver-timeout
6 years ago
JoranHonig fdef0be880
Merge branch 'develop' into returndatacopy_returndatasize_implementations
6 years ago
Nikhil Parasaram 25346d32c1 remove the paranthesis for as_list
6 years ago
Nikhil Parasaram 7656287409 Change get_list() to as_list()
6 years ago
Nikhil Parasaram 9bee3c716c Make timehandler class Singleton
6 years ago
Nikhil Parasaram 84fb8b9003
Merge pull request #893 from ConsenSys/bugfix/892
6 years ago
JoranHonig 1d3e54fc0d
Merge branch 'develop' into bugfix/892
6 years ago
Joran Honig 1a65e8e4c9 adapt tests according to style rules
6 years ago
Joran Honig 79aad17fde add some basic model tests and fix discovered bug
6 years ago
Joran Honig 05e74735e4 add edge case handling to model
6 years ago
Joran Honig 4fe49aa260 add independence solver tests
6 years ago
Joran Honig 19de3edd17 use set vs list and fix comments
6 years ago
Joran Honig 5adb4cd2d0 add dependence map test
6 years ago
Joran Honig 9fc48e377c rename expressions to conditions as this is the correct term to use
6 years ago
Joran Honig 8014e546c0 add create bucket test
6 years ago
Joran Honig a0dd061424 add _get_expr_variable tests for independence solver
6 years ago
Joran Honig f5e84fcb21 apply style rules
6 years ago
Joran Honig 9932932816 add documentation and typehints for independence solver
6 years ago
Joran Honig 5ddc5ec8bf refactor independence solver to make get_expr_variables private
6 years ago
Joran Honig 3ce434329f refactor solver and independence solver to use laser.smt.model
6 years ago
Joran Honig f380f87ae5 add model implementation to laser.smt
6 years ago
Nathan 59a851f09a Remove unused code
6 years ago
Nathan 5384602d00 Implement BitVecFunc for sha3
6 years ago
Nikhil Parasaram 1e296a7a1f Move from z3 4.8.0.0 to 4.8.4
6 years ago