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

3389 Commits (3095a5efcff9bdbb3cfe7eb621ef958d32defb05)
 

Author SHA1 Message Date
Nikhil Parasaram 3ad020a6a2 Redirect stdout to null when executing self.raw.check()
6 years ago
JoranHonig c003461493
Merge pull request #911 from JoranHonig/features/execution_statistics
6 years ago
Joran Honig fb859c2cf5 Merge remote-tracking branch 'origin/features/solver_stats' into features/solver_stats
6 years ago
Joran Honig 261a9fb462 add return char
6 years ago
JoranHonig 9340dd74de
Merge branch 'develop' into features/execution_statistics
6 years ago
JoranHonig 3ae4e2e59a
Merge pull request #909 from nbanmp/rtd_docs_theme
6 years ago
JoranHonig 6ba6b29435
Merge branch 'develop' into features/execution_statistics
6 years ago
Joran Honig 1620b72cc2 Merge remote-tracking branch 'origin/features/solver_stats' into features/solver_stats
6 years ago
Joran Honig 0e700ce58d add dock strings
6 years ago
Nathan b9214bcb41 Fix bitvecfunc typing
6 years ago
Nathan ab6fad69e9
Merge branch 'develop' into sha3_symbols
6 years ago
Nathan 027c2b55d6
Merge branch 'develop' into rtd_docs_theme
6 years ago
Nikhil Parasaram 57478e7cce Fix gitignore and make a change to config tests
6 years ago
Nikhil Parasaram 93c1e85433 Add config tests
6 years ago
JoranHonig e9b8593209
Merge branch 'develop' into features/solver_stats
6 years ago
JoranHonig 5a04e92686
Merge pull request #912 from nbanmp/fix_207
6 years ago
Nikhil Parasaram 7f9a3a6bb0 Merge branch 'refactor/896' of github.com:ConsenSys/mythril into refactor/896
6 years ago
Nikhil Parasaram 5839f22cec Add test for 100% leveldb coverage
6 years ago
Nikhil Parasaram babcaa6ac0
Merge branch 'develop' into refactor/896
6 years ago
Nikhil Parasaram 2bd2f9aafd Add leveldb tests
6 years ago
Joran Honig 158cda6cec Merge remote-tracking branch 'origin/features/execution_statistics' into features/execution_statistics
6 years ago
Joran Honig f675b08889 apply style rules
6 years ago
JoranHonig 052a19c4c9
Merge branch 'develop' into fix_207
6 years ago
JoranHonig c4aebfa916
Merge branch 'develop' into fix_207
6 years ago
JoranHonig 758d0ee67e
Merge branch 'develop' into features/execution_statistics
6 years ago
Nikhil Parasaram 5359c44348
Merge pull request #908 from ConsenSys/bugfix/BECtoken
6 years ago
Nikhil Parasaram c78d0e89bc
Merge branch 'develop' into bugfix/BECtoken
6 years ago
JoranHonig 1c44a22d95
Merge branch 'develop' into features/execution_statistics
6 years ago
JoranHonig d8a7d5a835
Merge branch 'develop' into features/solver_stats
6 years ago
JoranHonig 4ed03ced09
Merge pull request #913 from ConsenSys/bugfix/test_image
6 years ago
Nikhil Parasaram df3861486f Fix leveldb search
6 years ago
JoranHonig 5cb9d84d2a
adapt version of test image used
6 years ago
Nathan 355e214447 Create test output folders if they don't exist
6 years ago
Joran Honig f6ac9fd7f8 add documentation to benchmark
6 years ago
Joran Honig 0a2a4484ab add hooks to svm required for benchmarking
6 years ago
Joran Honig 0afa10151e clean up log message
6 years ago
Joran Honig 5c303b8786 enable statistics tracking
6 years ago
Joran Honig a7583a1d16 implement solver statistics tracking
6 years ago
Joran Honig 79758523db fix type mismatch in constraints
6 years ago
Joran Honig 61f937b575 fix bug in independence solver
6 years ago
Joran Honig 42edd276c3 move solver files to separate directory
6 years ago
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