Dev Tools. Compilers, languages, frameworks, libraries, security tooling.
245 items match, 60 of them low signal.
Features & improvements: Unified error messages in wake open [cli] · Implemented --import-json CLI option for wake compile [cli] · Increased solc JSON list fetching timeout [core] · Added support for parsing Solidity version specifiers with leading v [core] ·…Wake release notes
Added. When a staticcall is made to a contract that does not exist, we overapproximate · and return symbolic values More simplification rules for Props · JoinBytes simplification rule · New simplification rule to help deal with abi.encodeWithSelector · More si…hevm release notes
[6.0.0] - 2025-07-04. BREAKING CHANGE. Some rules were removed from the recommended ruleset and other were promoted. See below: Rules revision - #692 DEMOTED. payable-fallback: Outdated due to the introduction of receive(); rarely needed in modern Solidity.Solhint release notes
[5.1.0] - 2025-05-05. Added. Argument to avoid discord poster - #646 · Auto-fix for no-unused-import - #648 (Thanks to @DenisGorbachev) · New Rule: import-path-check - #657 · Updated.Solhint release notes
This release adds support for the latest Solidity features like using a custom error in a require statement and transient storage, adds 7 new detectors, 2 new printers and various other improvements.Slither 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, Alchem…Medusa release notes
Fixes: fixed non-deterministic pytypes generation for source files under multiple different source unit names [testing & deployment framework] · fixed pytypes generation for source units with dots in their names [testing & deployment framework] · fixed tx not…Wake release notes
Everything here already leads the page above.