Certora Verification Language for Rust
CVLR model for the Solana Stake Program
CVLR model for the Solana Token Program 8
Certora Verification Language for Rust with Solana
Derive macros for CVLR
CVLR support for Stellar Soroban smart contracts
Proc-macros for cvlr-soroban
Macros for cvlr-soroban
Specification and Logic primitives for CVLR
CVLR Collections for Formal Verification
Asserts and assumes for post- and pre-conditions
Decimal numbers over Certora native integers