cvlr-soroban-derive
| Crates.io | cvlr-soroban-derive |
| lib.rs | cvlr-soroban-derive |
| version | 0.4.0 |
| created_at | 2025-03-17 20:41:59.933613+00 |
| updated_at | 2025-03-17 20:41:59.933613+00 |
| description | Proc-macros for cvlr-soroban |
| homepage | https://www.certora.com |
| repository | https://github.com/Certora/cvlr-soroban |
| max_upload_size | |
| id | 1595895 |
| size | 10,352 |
(1arie1)
documentation
https://docs.rs/cvlr-soroban/latest
README
CVLR for Soroban
Soroban specific parts of the CVLR library.