Mythril Versions Save

What's Changed

• Fix bug related to features function names https://github.com/ConsenSys/mythril/pull/1779
• refactor CLI in https://github.com/ConsenSys/mythril/pull/1779
• Add push0 and push tests by @norhh in https://github.com/ConsenSys/mythril/pull/1781

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.23...v0.23.24

What's Changed

• Add pending constraints strategy and make it the default search strategy by @norhh in https://github.com/ConsenSys/mythril/pull/1767
• Increase solver timeout by @norhh in https://github.com/ConsenSys/mythril/pull/1768
• Arm64 Docker support by @h4l in https://github.com/ConsenSys/mythril/pull/1770
• Fix z3 version by @norhh in https://github.com/ConsenSys/mythril/pull/1771
• some fixes by @A-23187 in https://github.com/ConsenSys/mythril/pull/1721
• parallelise test execution by @norhh in https://github.com/ConsenSys/mythril/pull/1775

New Contributors

• @h4l made their first contribution in https://github.com/ConsenSys/mythril/pull/1770
• @A-23187 made their first contribution in https://github.com/ConsenSys/mythril/pull/1721

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.22...v0.23.23

What's Changed

• Misc bug fixes by @norhh in https://github.com/ConsenSys/mythril/pull/1764
• Mythril v0.23.22 by @norhh in https://github.com/ConsenSys/mythril/pull/1765

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.21...v0.23.22

What's Changed

• Fix the slowdown due to create going through every instruction by @norhh in https://github.com/ConsenSys/mythril/pull/1762
• Mythril v0.23.21 by @norhh in https://github.com/ConsenSys/mythril/pull/1763

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.20...v0.23.21

What's Changed

• Update test to large resource class in config.yml by @norhh in https://github.com/ConsenSys/mythril/pull/1761
• Use threading during solving constraints by @norhh in https://github.com/ConsenSys/mythril/pull/1760

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.19...v0.23.20

What's Changed

• Check for 'unchecked' before turning off Integer module by @norhh in https://github.com/ConsenSys/mythril/pull/1757

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.18...v0.23.19

What's Changed

• Add other networks by @norhh in https://github.com/ConsenSys/mythril/pull/1751
• Perform a nesting decoding by @norhh in https://github.com/ConsenSys/mythril/pull/1754

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.17...v0.23.18

What's Changed

• fix returndata copy index by @Notation in https://github.com/ConsenSys/mythril/pull/1739
• Fixed a typo in docs by @saxenism in https://github.com/ConsenSys/mythril/pull/1740
• fix: pad function hashes to always be 8 characters by @ToonVanHove in https://github.com/ConsenSys/mythril/pull/1741
• Add return value for exception in native calls by @norhh in https://github.com/ConsenSys/mythril/pull/1743
• Add support to foundry by @norhh in https://github.com/ConsenSys/mythril/pull/1744
• Hotfix for some unknown behavior with foundry by @norhh in https://github.com/ConsenSys/mythril/pull/1745
• Misc fixes by @norhh in https://github.com/ConsenSys/mythril/pull/1749
• Fix issue with memory extend by @norhh in https://github.com/ConsenSys/mythril/pull/1750

New Contributors

• @Notation made their first contribution in https://github.com/ConsenSys/mythril/pull/1739
• @saxenism made their first contribution in https://github.com/ConsenSys/mythril/pull/1740
• @ToonVanHove made their first contribution in https://github.com/ConsenSys/mythril/pull/1741

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.16...v0.23.17

What's Changed

• Fix: adapt description to match the sample command by @gsalzer in https://github.com/ConsenSys/mythril/pull/1731
• Fixes issue with ext calls by @norhh in https://github.com/ConsenSys/mythril/pull/1733
• Handle pragma parsing using pyparser by @norhh in https://github.com/ConsenSys/mythril/pull/1737
• Mythril v0.23.16 by @norhh in https://github.com/ConsenSys/mythril/pull/1738

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.15...v0.23.16

What's Changed

• Restrict precommit by @norhh in https://github.com/ConsenSys/mythril/pull/1720
• Add support for fallback() and receive() functions for prioritising tx sequences by @norhh in https://github.com/ConsenSys/mythril/pull/1723
• Update of bug template by @gsalzer in https://github.com/ConsenSys/mythril/pull/1725
• Add support to older solc versions by @norhh in https://github.com/ConsenSys/mythril/pull/1726
• Fix false positives on constructor by @norhh in https://github.com/ConsenSys/mythril/pull/1729
• Mythril v0.23.15 by @norhh in https://github.com/ConsenSys/mythril/pull/1730

Full Changelog: https://github.com/ConsenSys/mythril/compare/v0.23.13...v0.23.15