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

12 Commits (harvey_style_assertions)

Author SHA1 Message Date
Nikhil Parasaram 92a9990c34 Fix the tests
6 years ago
Joran Honig 521a68d868 adapt mstate test to use smt abstraction
6 years ago
Nathan 2c1572f569 memory refactor to store symbolic values
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
Dominik Muhs 9af7018235 Apply black
6 years ago
Dominik Muhs e0cd08a58b Apply black style formatting
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 342ab92657 And write them tests
6 years ago
Joran Honig 17410661e1 Cleanup mem_extend and add test
6 years ago