This repository was archived by the owner on Dec 28, 2025. It is now read-only.
What's Changed
- The theses that guarantee safe memory management are formulated.
- The plugin now supports analysis of cyclic references between classes.
- The name of the automatic variable class has been renamed to Locker to match the logic of the functionality it performs.
- Disabled ownership checks and strong reference borrowing as it is no longer required.
Issues are closed:
Full Changelog: v0.3.1...v0.4.0