Mythril Versions Save

What's Changed

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

New Contributors

• @suchsoon made their first contribution in https://github.com/Consensys/mythril/pull/1845
• @xiaoxianBoy made their first contribution in https://github.com/Consensys/mythril/pull/1846
• @sellskin made their first contribution in https://github.com/Consensys/mythril/pull/1849

Full Changelog: https://github.com/Consensys/mythril/compare/v0.24.7...v0.24.8

Full Changelog: https://github.com/Consensys/mythril/compare/v0.24.6...v0.24.7

What's Changed

• Refactor code by @norhh in https://github.com/Consensys/mythril/pull/1831
• Reduce number of processes by @norhh in https://github.com/Consensys/mythril/pull/1832
• Update z3 by @norhh in https://github.com/Consensys/mythril/pull/1835
• Add additional analysis modules by @norhh in https://github.com/Consensys/mythril/pull/1836
• Add new features by @norhh in https://github.com/Consensys/mythril/pull/1841

Full Changelog: https://github.com/Consensys/mythril/compare/v0.24.5...v0.24.6

What's Changed

• Update cli.py by @anonymousdouble in https://github.com/Consensys/mythril/pull/1828
• Add summaries and additional bugfixes by @norhh in https://github.com/Consensys/mythril/pull/1830

New Contributors

• @anonymousdouble made their first contribution in https://github.com/Consensys/mythril/pull/1828

Full Changelog: https://github.com/Consensys/mythril/compare/v0.24.4...v0.24.5

What's Changed

• fix typos by @tranhoaison in https://github.com/Consensys/mythril/pull/1824
• Handle edge case when parsing by @norhh in https://github.com/Consensys/mythril/pull/1826

New Contributors

• @tranhoaison made their first contribution in https://github.com/Consensys/mythril/pull/1824

Full Changelog: https://github.com/Consensys/mythril/compare/v0.24.3...v0.24.4

What's Changed

• Change configuration by @norhh in https://github.com/Consensys/mythril/pull/1823
  • Lowers execution timeout
  • Restricts py-solc-x

Full Changelog: https://github.com/Consensys/mythril/compare/v0.24.2...v0.24.3

What's Changed

• Update mythril_config.py - Remove TODO by @Erlangshen219 in https://github.com/Consensys/mythril/pull/1814
• Fix a bug related to feature extraction by @norhh in https://github.com/Consensys/mythril/pull/1817
• Fix an edge case by @norhh in https://github.com/Consensys/mythril/pull/1820
• Mythril v0.24.2 by @norhh in https://github.com/Consensys/mythril/pull/1821

New Contributors

• @Erlangshen219 made their first contribution in https://github.com/Consensys/mythril/pull/1814

Full Changelog: https://github.com/Consensys/mythril/compare/v0.24.1...v0.24.2

What's Changed

• Handle edge case during feature extraction by @norhh in https://github.com/Consensys/mythril/pull/1811
• Fix edge case w.r.t solc versions by @norhh in https://github.com/Consensys/mythril/pull/1812

Full Changelog: https://github.com/Consensys/mythril/compare/v0.24.0...v0.24.1

What's Changed

• Update Readme.md by @norhh in https://github.com/Consensys/mythril/pull/1795
• Add rf based tx prioritiser by @norhh in https://github.com/Consensys/mythril/pull/1798
• Misc fixes by @norhh in https://github.com/Consensys/mythril/pull/1799
• Fix edge case in integer module for 0.8.0 by @norhh in https://github.com/Consensys/mythril/pull/1805
• Update requirements.txt by @norhh in https://github.com/Consensys/mythril/pull/1807
• Remove support for Python 3.6

Full Changelog: https://github.com/Consensys/mythril/compare/v0.23.25...v0.24.0

What's Changed

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

New Contributors

• @bre4kpo1nt made their first contribution in https://github.com/Consensys/mythril/pull/1784
• @abhinandanudupa made their first contribution in https://github.com/Consensys/mythril/pull/1787
• @unordered-set made their first contribution in https://github.com/Consensys/mythril/pull/1789

Full Changelog: https://github.com/Consensys/mythril/compare/v0.23.24...v0.23.25