Lib.rs

› Development tools › Debugging › CVLR
#soroban #assert #certora #formal-methods #verification #smart-contracts

no-std cvlr-soroban

CVLR support for Stellar Soroban smart contracts

Owned by 1arie1.

1 unstable release

new 0.4.0 Mar 17, 2025

#1 in #soroban

MIT license

4KB

CVLR for Soroban

Soroban specific parts of the CVLR library.

Dependencies

~11–16MB
~329K SLoC