Mythril v0.24.8

What's Changed

• Add improved state merging by @norhh in #1843
• Remove a partial feature by @norhh in #1844
• chore: remove repetitive words by @suchsoon in #1845
• fix typos by @xiaoxianBoy in #1846
• Fix a bug due to issues with balance by @norhh in #1848
• chore: fix some comments by @sellskin in #1849

New Contributors

• @suchsoon made their first contribution in #1845
• @xiaoxianBoy made their first contribution in #1846
• @sellskin made their first contribution in #1849

Full Changelog: v0.24.7...v0.24.8

Mythril v0.24.7

Full Changelog: v0.24.6...v0.24.7

Mythril v0.24.6

What's Changed

• Refactor code by @norhh in #1831
• Reduce number of processes by @norhh in #1832
• Update z3 by @norhh in #1835
• Add additional analysis modules by @norhh in #1836
• Add new features by @norhh in #1841

Full Changelog: v0.24.5...v0.24.6

Mythril v0.24.5

What's Changed

• Update cli.py by @anonymousdouble in #1828
• Add summaries and additional bugfixes by @norhh in #1830

New Contributors

• @anonymousdouble made their first contribution in #1828

Full Changelog: v0.24.4...v0.24.5

Mythril v0.24.4

What's Changed

• fix typos by @tranhoaison in #1824
• Handle edge case when parsing by @norhh in #1826

New Contributors

• @tranhoaison made their first contribution in #1824

Full Changelog: v0.24.3...v0.24.4

Mythril v0.24.3

What's Changed

• Change configuration by @norhh in #1823
  • Lowers execution timeout
  • Restricts py-solc-x

Full Changelog: v0.24.2...v0.24.3

Mythril v0.24.2

What's Changed

• Update mythril_config.py - Remove TODO by @Erlangshen219 in #1814
• Fix a bug related to feature extraction by @norhh in #1817
• Fix an edge case by @norhh in #1820
• Mythril v0.24.2 by @norhh in #1821

New Contributors

• @Erlangshen219 made their first contribution in #1814

Full Changelog: v0.24.1...v0.24.2

Mythril v0.24.1

What's Changed

• Handle edge case during feature extraction by @norhh in #1811
• Fix edge case w.r.t solc versions by @norhh in #1812

Full Changelog: v0.24.0...v0.24.1

Mythril v0.24.0

What's Changed

• Update Readme.md by @norhh in #1795
• Add rf based tx prioritiser by @norhh in #1798
• Misc fixes by @norhh in #1799
• Fix edge case in integer module for 0.8.0 by @norhh in #1805
• Update requirements.txt by @norhh in #1807
• Remove support for Python 3.6

Full Changelog: v0.23.25...v0.24.0

Mythril v0.23.25

What's Changed

• Add feature extraction by @norhh in #1785
• Fix bug in resolving log message of user assertion by @bre4kpo1nt in #1784
• Use arm.xlarge by @norhh in #1786
• Fix parsing of compiler version and reformat file by @abhinandanudupa in #1787
• Fix link to suicide module by @unordered-set in #1789
• Update tox for 3.10 by @norhh in #1792
• Use recent cytoolz and move cython installation to setup.py by @norhh in #1794

New Contributors

• @bre4kpo1nt made their first contribution in #1784
• @abhinandanudupa made their first contribution in #1787
• @unordered-set made their first contribution in #1789

Full Changelog: v0.23.24...v0.23.25