#solana #formal-methods #assert #verification #certora

no-std cvlr-solana

Certora Verification Language for Rust with Solana

4 releases

0.4.4 Apr 24, 2025
0.4.3 Apr 9, 2025
0.4.2 Apr 9, 2025
0.4.1 Apr 9, 2025
0.4.0 Apr 4, 2025

#820 in Debugging

Download history 126/week @ 2025-04-02 365/week @ 2025-04-09 18/week @ 2025-04-16 149/week @ 2025-04-23

658 downloads per month

MIT license

35KB
706 lines

CVLR for Solana

Solana specific parts of the CVLR library.

Dependencies

~23–31MB
~523K SLoC