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

37 Commits (harvey_style_assertions)

Author SHA1 Message Date
Nikhil Parasaram 7f2a598f70 Update storage tests
6 years ago
Nikhil Parasaram 5252a05524
Implement EXTCODECOPY (#928)
6 years ago
Nikhil Parasaram dd7b255fc9 Fix storage
6 years ago
Nikhil Parasaram a0f0767b15 Revert "Merge pull request #1076 from ConsenSys/bugfix/bectoken"
6 years ago
Nikhil Parasaram bedbc7d287 Fix storage tests
6 years ago
Nikhil Parasaram b3bf6fbcde Fix Storage and calldata
6 years ago
Nikhil Parasaram 92a9990c34 Fix the tests
6 years ago
Joran Honig 105feb44ac fix calldata tests
6 years ago
Joran Honig d6c4c3cd82 Remove type hint for compatibility with 3.5
6 years ago
Joran Honig abf8e0847a adapt storage test to use smt abstraction
6 years ago
Joran Honig 521a68d868 adapt mstate test to use smt abstraction
6 years ago
Joran Honig fb89bdf093 Bugfix for and instruction and calldata tests
6 years ago
Nathan 2c1572f569 memory refactor to store symbolic values
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
Dominik Muhs 1fdd07a254 Add gas simulation to LASER (#660)
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
Dominik Muhs 9af7018235 Apply black
6 years ago
Nathan 3d7350ca2e black formatting tests
6 years ago
Dominik Muhs e0cd08a58b Apply black style formatting
6 years ago
Nathan 8928716633 remove one line calldate bugfix and other important improvements
6 years ago
Nathan 34daeebe69 calldata tests
6 years ago
Dominik Muhs 9a90a92297 Remove unused variables from tests
6 years ago
Nikhil Parasaram dc72af27f4 Clean up test cases for mstack
6 years ago
Nikhil Parasaram 38a59afabd Test fixes and also reject using + operator on machinestack
6 years ago
Joran Honig 16b96bac19 Add test and use slice assignment
6 years ago
Joran Honig 7b471f0d82 Add more tests and fix bug
6 years ago
Joran Honig 7d48677ac4 Implement storage tests
6 years ago
Joran Honig 342ab92657 And write them tests
6 years ago
Joran Honig 17410661e1 Cleanup mem_extend and add test
6 years ago