3 releases
| new 0.4.3 | Apr 9, 2025 |
|---|---|
| 0.4.2 | Apr 9, 2025 |
| 0.4.1 |
|
| 0.4.0 | Apr 4, 2025 |
#1 in #solana
126 downloads per month
35KB
704 lines
CVLR for Solana
Solana specific parts of the CVLR library.
Dependencies
~17–25MB
~379K SLoC
Certora Verification Language for Rust with Solana
| new 0.4.3 | Apr 9, 2025 |
|---|---|
| 0.4.2 | Apr 9, 2025 |
| 0.4.1 |
|
| 0.4.0 | Apr 4, 2025 |
#1 in #solana
126 downloads per month
35KB
704 lines
Solana specific parts of the CVLR library.
~17–25MB
~379K SLoC