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

10 Commits (fix/constraints-after-issues)

Author SHA1 Message Date
Joran Honig 105feb44ac fix calldata tests
6 years ago
Joran Honig fb89bdf093 Bugfix for and instruction and calldata tests
6 years ago
Joran Honig 2c11246bb6 add symbolic calldata indices test
6 years ago
Joran Honig 49a1f6fa25 mythril/laser/ethereum/state/calldata: Refactor to separate modules and re implement loading logic
6 years ago
Nathan b6c4ad1cbd Refactor state.py into multiple files (#698)
6 years ago
Nathan 2662ae0754 calldata getitem returns tuple with constraints
6 years ago
Nathan 18c182d5e1 remove now unused code and update unit tests for new Calldata constraints handling
6 years ago
Dominik Muhs 524c10a8c8 Merge develop into dmuhs/type-hints
6 years ago
Nathan 3d7350ca2e black formatting tests
6 years ago
Nathan 8928716633 remove one line calldate bugfix and other important improvements
6 years ago
Nathan 34daeebe69 calldata tests
6 years ago