v0.4
Closed Oct 8, 2024
100% complete
A minor release focusing on detector correctness, better integrability, and tooling support. This results from testing Misti on a set of real-world Tact contracts.
It includes adding Misti GitHub action, five new detectors and lot's of improvements in the detectors implementation.
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.