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

4863 Commits (d53dd96d8d04dfeb3a3ede1f21d070b338289c44)
 

Author SHA1 Message Date
Nikhil Parasaram d53dd96d8d Merge branch 'optimise/summaries' of github.com:Consensys/mythril into optimise/summaries
11 months ago
Nikhil Parasaram 25e31bc060 Update test w.r.t bugfixes
11 months ago
Nikhil Parasaram 9af098af41
Merge branch 'develop' into optimise/summaries
11 months ago
Nikhil Parasaram 91d20b1fb1 Add summaries and additional bugfixes
11 months ago
anonymousdouble f61c2d4515
Update cli.py (#1828)
11 months ago
Nikhil Parasaram 373558c58a
Mythril v0.24.4
12 months ago
Nikhil Parasaram 2bf6a35327
Handle edge case when parsing (#1826)
12 months ago
Santala 460e9da50c
fix typos (#1824)
1 year ago
Nikhil Parasaram 960377f5cd
Mythril v0.24.3
1 year ago
Nikhil Parasaram 4085cf6427
Change configuration (#1823)
1 year ago
Nikhil Parasaram 8396d6185a
Mythril v0.24.2 (#1821)
1 year ago
Nikhil Parasaram c7255768b7
Fix an edge case (#1820)
1 year ago
Nikhil Parasaram 14d32a2b8c
Fix a bug related to feature extraction (#1817)
1 year ago
Erlangshen219 90e0dd7097
Update mythril_config.py - Remove TODO (#1814)
1 year ago
Nikhil Parasaram ecc79507ac
Update README.md
1 year ago
Nikhil Parasaram 4cdb28130c
Mythril v0.24.1
1 year ago
Nikhil Parasaram 93965debbf
Fix edge case w.r.t solc versions (#1812)
1 year ago
Nikhil Parasaram 91c4ddad2e
Handle edge case during feature extraction (#1811)
1 year ago
Nikhil Parasaram 60ca80b91a
Mythril v0.24.0
1 year ago
Nikhil Parasaram 59b86644dc
Update Readme to python 3.7
1 year ago
Nikhil Parasaram 491f4ee343
Update README.md
1 year ago
Nikhil Parasaram d167d20fc3
Update requirements.txt (#1807)
1 year ago
Nikhil Parasaram a28d600ced
Fix edge case in integer module for 0.8.0 (#1805)
1 year ago
Nikhil Parasaram 8aa56600ef
Fix Readme
1 year ago
Nikhil Parasaram bd27897533
Misc fixes (#1799)
1 year ago
Nikhil Parasaram fd48221682
Fix badge
1 year ago
Nikhil Parasaram 6fa927e296
Add rf based tx prioritiser (#1798)
1 year ago
Nikhil Parasaram ebd7df9601
Update Readme.md (#1795)
1 year ago
Nikhil Parasaram 1990d30ecc
Mythril v0.23.25
1 year ago
Nikhil Parasaram 93cc87ec92
Use recent cytoolz and move cython installation to setup.py (#1794)
1 year ago
Nikhil Parasaram b7a89fed08
Update setup.py
1 year ago
Nikhil Parasaram 9344b2976a
Update tox for 3.10 (#1792)
1 year ago
Kostyan f5e2784351
Fix link to suicide module (#1789)
1 year ago
Abhinandan Udupa 39b79cae8a
Fix parsing of compiler version and reformat file (#1787)
1 year ago
Nikhil Parasaram 2a37d2801a
Use arm.xlarge (#1786)
1 year ago
breakpo1nt 1f330efafb
Fix bug in resolving log message of user assertion (#1784)
1 year ago
Nikhil Parasaram 96c3ecd4b8
Add feature extraction (#1785)
1 year ago
Nikhil Parasaram ca2dc138f8
Mythril v0.23.24
1 year ago
Nikhil Parasaram 2855b34a97
Add push0 and push tests (#1781)
1 year ago
Nikhil Parasaram 389b056b0a
Fix minor issue and refactor CLI (#1779)
1 year ago
Nikhil Parasaram 3e0dc72667
Use arm.large on docker release
1 year ago
Nikhil Parasaram 25ef241b60
Update both instances to arm
1 year ago
Nikhil Parasaram b48f6deedb
Mythril v0.23.23
1 year ago
Nikhil Parasaram 16e0884460
Try arm instance
1 year ago
Nikhil Parasaram 9234112902
Handle non deterministic test cases (#1776)
2 years ago
Nikhil Parasaram 4084113513
parallelise test execution (#1775)
2 years ago
Nikhil Parasaram aac630f5f8
Use amd64
2 years ago
Nikhil Parasaram e81d4870cf
use arm
2 years ago
Nikhil Parasaram bea0423eec
Enable buildkit
2 years ago
Nikhil Parasaram f972a6da40
Circleci update resource class (#1774)
2 years ago