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

14 Commits (harvey_style_assertions)

Author SHA1 Message Date
Nikhil Parasaram 1a63fb20ef Refactor mythril/mythril.py
6 years ago
Dominik Muhs c4127fd229 Add Ubuntu PPA support to solc installer, fix version to 0.5.0
6 years ago
Dominik Muhs 8813792e36 Fix solidity contract test
6 years ago
Nikhil Parasaram 75c0f1ac16 Reformat code with black
6 years ago
Nikhil Parasaram b1ef2953d7 Fix the tests by fixing solc version of them
6 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
Nikhil Parasaram e218c20e91 Add new tests for SolidityContract
6 years ago
Dr. Sergey Pogodin 8e94ea6952 F2F: Fix tests and build
7 years ago
freewind 73096acfa2 make sure use same signatures.json in every test
7 years ago
freewind 29c5ca6977 Fix tests
7 years ago
freewind 1d12221ff8 test reports generation
7 years ago
freewind 3fd4272c43 SolidityContract tests
7 years ago