Skip to content

Releases: janislley/LSVerifier

LSVerifier v0.3.0

16 Sep 14:41
Compare
Choose a tag to compare

Support specific class of property verification;
Prioritized functions verification;
Disable invalid pointer verification;
Logs improvements;
Code refactored.