Mythril v0.23.23

norhh released this 07 Jun 14:01

· 82 commits to develop since this release

b48f6de

What's Changed

Add pending constraints strategy and make it the default search strategy by @norhh in #1767
Increase solver timeout by @norhh in #1768
Arm64 Docker support by @h4l in #1770
Fix z3 version by @norhh in #1771
some fixes by @A-23187 in #1721
parallelise test execution by @norhh in #1775

New Contributors

@h4l made their first contribution in #1770
@A-23187 made their first contribution in #1721

Full Changelog: v0.23.22...v0.23.23

Contributors

h4l, norhh, and A-23187

Assets 2