medusa 1.0.0

[BrewTestBot]

Created by brew bump

---

Created with brew bump-formula-pr.

release notes

This is `medusa`'s first major release. It includes many powerful features and important bug fixes. The biggest update is the introduction of on-chain fuzzing! `medusa` can now run starting with an existing state provided by an external RPC service (Infura, Alchemy, local node, etc). This enables users to speed up the fuzzing setup when using already deployed contracts. Please note that the on-chain fuzzing capability is in "experimental mode" and will continue to improve over the next few releases.
Additional features include integration with Slither for improved value generation, capturing transaction return values for improved value generation, efficient shrinking during optimization mode, and support for the label cheatcode.
What's Changed

Support for on-chain fuzzing via external RPC by @bsamuels453 in RPC mode support crytic/medusa#513
Integrate Slither for improved value generation by @anishnaik in Add slither integration crytic/medusa#530
Capture transaction return values for improved value generation by @anishnaik in Capture return values during call sequence execution crytic/medusa#533
Add support for the vm.label cheatcode by @priyankabose in Adds support for label cheatcode crytic/medusa#545
Improve runtime performance and shrinking during optimization mode by @anishnaik in Update fuzzing loop and fix optimization mode crytic/medusa#548
Add Docker support by @elopez in Add Docker container crytic/medusa#522
Add Nix support by @bohendo in Add Nix support crytic/medusa#143
Add support for exploration mode through the CLI by @tuturu-tech in Add exploration mode flag crytic/medusa#526

Bug Fixes

Fix warp to allow for the setting of a starting timestamp by @anishnaik in Update VM cheatcodes to be permanent crytic/medusa#499
Fix duplication bug in program counter coverage by @0xalpharush in fix: dedup pc by codehash for unique pc metric crytic/medusa#485
Fix execution tracing during failed contract deployments by @anishnaik in Fix execution tracing during failed contract deployments crytic/medusa#538
Fix weighting of corpus items to use timestamp to favor 'hardest-to-discover' inputs by @0xalpharush in fix: weight corpus by timestamp to favor 'hardest-to-discover' inputs crytic/medusa#383
Improve error logging for arithmetic overflows and underflows by @hexshire in Update solidity_errors.go crytic/medusa#536
Fix error handling during corpus initialization by @MukulKolpe in fix: Return correct error in Corpus.Initialize crytic/medusa#537

New Contributors

@tuturu-tech made their first contribution in Add exploration mode flag crytic/medusa#526
@bohendo made their first contribution in Add Nix support crytic/medusa#143
@hexshire made their first contribution in Update solidity_errors.go crytic/medusa#536
@MukulKolpe made their first contribution in fix: Return correct error in Corpus.Initialize crytic/medusa#537
@priyankabose made their first contribution in Trims the leading zeroes from an address for readability crytic/medusa#543
@bsamuels453 made their first contribution in RPC mode support crytic/medusa#513

Full Changelog: crytic/medusa@v0.1.8...v1.0.0

[github-actions]

🤖 An automated task has requested bottles to be published to this PR.