cvlr-soroban
| Crates.io | cvlr-soroban |
| lib.rs | cvlr-soroban |
| version | 0.4.0 |
| created_at | 2025-03-17 20:42:26.023188+00 |
| updated_at | 2025-03-17 20:42:26.023188+00 |
| description | CVLR support for Stellar Soroban smart contracts |
| homepage | https://www.certora.com |
| repository | https://github.com/Certora/cvlr-soroban |
| max_upload_size | |
| id | 1595897 |
| size | 3,780 |
(1arie1)
documentation
https://docs.rs/cvlr-soroban/latest
README
CVLR for Soroban
Soroban specific parts of the CVLR library.