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

3550 Commits (integer_experimental)
 

Author SHA1 Message Date
Joran Honig ebba0c241c remove dependency on cfg & node in unchecked retval module
6 years ago
Joran Honig 2da984bcb5 add todo to TOD module
6 years ago
Joran Honig 9e5661d24b remove dependence on cfg & nodes from suicide module
6 years ago
Joran Honig 04e1e3e880 remove dependence on cfg & nodes from multiple sends module
6 years ago
Joran Honig c71067da54 remove dependence on cfg & nodes from integer module
6 years ago
Joran Honig 4906051b17 remove dependence on cfg & nodes from external calls module
6 years ago
Joran Honig 45418830a4 remove dependence on cfg & nodes from exceptions module
6 years ago
Joran Honig 6502bdaf2f remove dependence on cfg & nodes from ether thief
6 years ago
Joran Honig 75c6a12688 add else case to ignore cases where there is a different op being used
6 years ago
Joran Honig 9e45f1ca1c use environment instead of node in depcrecated ops module
6 years ago
Joran Honig f609151316 use environment instead of node in dependence on predictable vars module
6 years ago
Joran Honig 122692b094 use environment instead of node in delegate call
6 years ago
Nikhil Parasaram 0820ca08c7 return an issue list instead of appending to list
6 years ago
JoranHonig 9c22872a72
Use mstate over node constraints
6 years ago
JoranHonig b5569ebbda
Merge branch 'develop' into bugfix/972
6 years ago
Bernhard Mueller e43a795a48
Update README.md
6 years ago
JoranHonig c88e9f190d
Merge branch 'develop' into enhance/tests
6 years ago
Nikhil Parasaram 972d5974c0 Use the current state constraints over the constraint at the annotation time
6 years ago
JoranHonig eb32fa0c70
Merge pull request #969 from ConsenSys/enhance/941
6 years ago
JoranHonig b4060ae455
Merge branch 'develop' into enhance/941
6 years ago
JoranHonig 7041f32ba7
Merge pull request #906 from ConsenSys/refactor/896
6 years ago
Nikhil Parasaram f0ce805a7c Change the field to integer
6 years ago
JoranHonig d44e0d00ad
Merge branch 'develop' into refactor/896
6 years ago
Bernhard Mueller 474fcd3da2
Update README.md
6 years ago
Nikhil Parasaram 03d73e18b2 Add typehints and docs
6 years ago
Nikhil Parasaram 342f5df0f7 Fix merge conflicts
6 years ago
Nikhil Parasaram abff796a6e Change the tests according to the change in the new way
6 years ago
Nikhil Parasaram 31f3a4a5c3 Make the hash function for generic case
6 years ago
Nikhil Parasaram cd0711f3ad Fix merge conflicts
6 years ago
Nikhil Parasaram 78a720ed31 Fix merge conflicts
6 years ago
Nikhil Parasaram f4bcb82b07 Display the discoveryTime
6 years ago
Nikhil Parasaram 86dede1306
Update to 0.20.2
6 years ago
Nikhil Parasaram 3bbea89b80 Rename the leveldb_dir function and set leveldb_dir in _init_config
6 years ago
Nikhil Parasaram 666fae8f53 Add documentation for MythrilConfig and MythrilDisassembler
6 years ago
JoranHonig 0711f0bcac
Merge pull request #963 from ConsenSys/constantinople/add
6 years ago
JoranHonig 0caf430fec
Merge branch 'develop' into constantinople/add
6 years ago
Nikhil Parasaram 0efe9f4537
Update version to v0.20.1
6 years ago
Nikhil Parasaram 6518fd6ecb
Merge pull request #949 from ConsenSys/bugfix/lineno
6 years ago
JoranHonig 36e236d4b5
Merge branch 'develop' into bugfix/lineno
6 years ago
JoranHonig 71a3f6d457
Merge branch 'develop' into constantinople/add
6 years ago
JoranHonig 29b90eb09f
Merge pull request #951 from ConsenSys/truffle/warning
6 years ago
JoranHonig 0956840ed3
Merge branch 'develop' into truffle/warning
6 years ago
JoranHonig 6ee45daf1f
Merge pull request #962 from ConsenSys/bugfix/memory_reference
6 years ago
JoranHonig 1d14790512
Merge branch 'develop' into bugfix/memory_reference
6 years ago
JoranHonig 83b71409d2
Merge branch 'develop' into constantinople/add
6 years ago
Nikhil Parasaram 3563c5b281
Merge branch 'develop' into truffle/warning
6 years ago
Nikhil Parasaram a2ded023aa
Merge pull request #953 from ConsenSys/fix/examples
6 years ago
JoranHonig d62e777f90
Update mythril/laser/smt/bitvec.py
6 years ago
JoranHonig 1aba834904
Merge branch 'develop' into fix/examples
6 years ago
JoranHonig 89bdd91725
Merge branch 'develop' into truffle/warning
6 years ago