🔍 More Tact Detectors: CellBounds which covers both
CellOverflow and CellUnderflow, ExitCodeUsage, EtaLikeSimplifications and ShortCircuitCondition.⚙️ More Tools: Added Callgraph that tracks function effects and is useful for auditing contracts.
🌐 Better Integrability: Misti can run in browser environments.
🔧 Fixes & Enhancements: Check out the full changelog.
♨️ @tact_kitchen