1 unstable release

0.4.0 Mar 17, 2025

#465 in Debugging

Download history 89/week @ 2025-03-12 83/week @ 2025-03-19 38/week @ 2025-03-26

210 downloads per month

MIT license

48KB
1K SLoC

Certora Verification Language for Rust (CVLR)

CVLR, pronounced "cavalier", is a set of Rust libraries that provide verification primitives for Rust. We currently use it for writing formal specifications for Solana and Soroban smart contracts. Examples of respective usage can be found here and here.

Dependencies

~0.5–1MB
~23K SLoC