Mythril

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

What's Changed
* Using cache search strategy by norhh in https://github.com/ConsenSys/mythril/pull/1714


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

What's Changed
* Add set tx counter and fix balances for summaries by norhh in https://github.com/ConsenSys/mythril/pull/1707
* Use execution time for concolic execution by norhh in https://github.com/ConsenSys/mythril/pull/1709
* Fix docs by norhh in https://github.com/ConsenSys/mythril/pull/1710
* Mythril v0.23.12 by norhh in https://github.com/ConsenSys/mythril/pull/1711


**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.23.11...v0.23.12

What's Changed
* add goerli to infura networks by 007vasy in https://github.com/ConsenSys/mythril/pull/1694
* Support solc-args by norhh in https://github.com/ConsenSys/mythril/pull/1698
* Fix docker badge by norhh in https://github.com/ConsenSys/mythril/pull/1700
* Use deepcopy for jumpi by norhh in https://github.com/ConsenSys/mythril/pull/1704
* Fix issue 1702 (crash without internet) by gsalzer in https://github.com/ConsenSys/mythril/pull/1703
* Add transaction plugins for summary search strategy by norhh in https://github.com/ConsenSys/mythril/pull/1705
* Mythril v0.23.11 by norhh in https://github.com/ConsenSys/mythril/pull/1706

New Contributors
* 007vasy made their first contribution in https://github.com/ConsenSys/mythril/pull/1694
* gsalzer made their first contribution in https://github.com/ConsenSys/mythril/pull/1703

**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.23.10...v0.23.11

What's Changed
* Add resolved input to output by norhh in https://github.com/ConsenSys/mythril/pull/1679
* Modify ABI output by norhh in https://github.com/ConsenSys/mythril/pull/1681
* Fix ReturnData by norhh in https://github.com/ConsenSys/mythril/pull/1683
* Fix JSON serialisation issue by norhh in https://github.com/ConsenSys/mythril/pull/1687
* Mythril v0.23.10 by norhh in https://github.com/ConsenSys/mythril/pull/1688


**Full Changelog**: https://github.com/ConsenSys/mythril/compare/v0.23.9...v0.23.10