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