Commit Graph

4877 Commits (9e9ee39a5cbabc028b7aa3f9ada005e3a5e0bbaa)
 

Author SHA1 Message Date
Nikhil Parasaram 9e9ee39a5c
Mythril v0.24.8 8 months ago
sellskin ec71828ba6
chore: fix some comments (#1849) 8 months ago
Nikhil Parasaram 2bae84edad
Fix a bug due to issues with balance (#1848) 8 months ago
Snoppy c5ac7cfff5
comment misspell (#1846) 8 months ago
suchsoon 2835595be4
chore: remove repetitive words (#1845) 9 months ago
Nikhil Parasaram 9ef15763d5
Remove a partial feature (#1844) 9 months ago
Nikhil Parasaram 70d234e4f1
Add improved state merging (#1843) 9 months ago
Nikhil Parasaram a4fe7b287e
Mythril v0.24.7 9 months ago
Nikhil Parasaram b6151b6801
Update eth_abi 9 months ago
Nikhil Parasaram e0ee41955d
Mythril v0.24.6 9 months ago
Nikhil Parasaram 2b5445fe11
Add new features (#1841) 9 months ago
Nikhil Parasaram 13969337fd
Add additional analysis modules (#1836) 9 months ago
Nikhil Parasaram 57dbd0cfd6
Update z3 (#1835) 9 months ago
Nikhil Parasaram 016bc733f6
Remove parallelisation (#1833) 10 months ago
Nikhil Parasaram 80c8f13a3b
Reduce number of processes (#1832) 10 months ago
Nikhil Parasaram 828b54f1b6
Refactor code (#1831) 10 months ago
Nikhil Parasaram b8ad3a9603
Mythril v0.24.5 10 months ago
Nikhil Parasaram 205d50a50f
Add summaries and additional bugfixes (#1830) 10 months ago
anonymousdouble f61c2d4515
Update cli.py (#1828) 11 months ago
Nikhil Parasaram 373558c58a
Mythril v0.24.4 11 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