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

16 Commits (harvey_style_assertions)

Author SHA1 Message Date
Nathan 1080184b8a Turn mythril into a MythX client
5 years ago
Bernhard Mueller e04dd1cdda Refactor package and class names
6 years ago
Dominik Muhs 9af7018235 Apply black
6 years ago
Dominik Muhs e0cd08a58b Apply black style formatting
6 years ago
Dr. Sergey Pogodin 8e94ea6952 F2F: Fix tests and build
7 years ago
Joran Honig 311e30cec9 Compare with current output
7 years ago
freewind 73096acfa2 make sure use same signatures.json in every test
7 years ago
freewind 2d4fe3956b Use temp files to store tests output, make it easy to compare results if output changes
7 years ago
freewind 01aef7783c Fix some issues per viewers' advices
7 years ago
freewind 29c5ca6977 Fix tests
7 years ago
freewind ac279a0e21 add more tests
7 years ago
freewind 1d12221ff8 test reports generation
7 years ago
freewind b08090c3a5 use several example solidity files to test disassembler
7 years ago
Bernhard Mueller 552a8b2de3 Update unit tests
7 years ago
Bernhard Mueller 96986960a5 Add SVM/CFG test
7 years ago
Bernhard Mueller 6149e2911b Remove unneeded code from disassembler
7 years ago
Bernhard Mueller aabb5abf93 Add disassembler test
7 years ago