1 unstable release
| new 0.4.0 | Mar 17, 2025 |
|---|
#11 in #certora
11KB
227 lines
CVLR for Soroban
Soroban specific parts of the CVLR library.
Dependencies
~0.8–1.3MB
~27K SLoC
Proc-macros for cvlr-soroban
| new 0.4.0 | Mar 17, 2025 |
|---|
#11 in #certora
11KB
227 lines
Soroban specific parts of the CVLR library.
~0.8–1.3MB
~27K SLoC