cvlr-solana
| Crates.io | cvlr-solana |
| lib.rs | cvlr-solana |
| version | 0.4.4 |
| created_at | 2025-04-04 18:01:26.316814+00 |
| updated_at | 2025-04-24 20:00:18.573835+00 |
| description | Certora Verification Language for Rust with Solana |
| homepage | https://www.certora.com |
| repository | https://github.com/Certora/cvlr-solana |
| max_upload_size | |
| id | 1620568 |
| size | 97,852 |
(1arie1)
documentation
https://docs.rs/cvlr/latest
README
CVLR for Solana
Solana specific parts of the CVLR library.