cvlr-soroban-derive

Crates.iocvlr-soroban-derive
lib.rscvlr-soroban-derive
version0.4.0
created_at2025-03-17 20:41:59.933613+00
updated_at2025-03-17 20:41:59.933613+00
descriptionProc-macros for cvlr-soroban
homepagehttps://www.certora.com
repositoryhttps://github.com/Certora/cvlr-soroban
max_upload_size
id1595895
size10,352
(1arie1)

documentation

https://docs.rs/cvlr-soroban/latest

README

CVLR for Soroban

Soroban specific parts of the CVLR library.

Commit count: 17

cargo fmt