dafny-runtime
| Crates.io | dafny-runtime |
| lib.rs | dafny-runtime |
| version | 0.3.1 |
| created_at | 2024-12-04 16:10:26.841403+00 |
| updated_at | 2025-06-03 16:36:38.87902+00 |
| description | dafny-runtime is the runtime support library for Rust code gerated from Dafny. |
| homepage | |
| repository | https://github.com/aws/aws-database-encryption-sdk-dynamodb/tree/main/releases/rust/db_esdk/dafny_runtime_rust |
| max_upload_size | |
| id | 1472260 |
| size | 387,490 |
Robin Salkeld (robin-aws)
documentation
README
This is the runtime support library for Rust code generated from Dafny.