prusti-specs
| Crates.io | prusti-specs |
| lib.rs | prusti-specs |
| version | 0.2.0 |
| source | src |
| created_at | 2022-09-26 13:37:32.802371 |
| updated_at | 2023-09-04 12:26:37.773409 |
| description | Internal Prusti crate for parsing specifications |
| homepage | https://www.pm.inf.ethz.ch/research/prusti.html |
| repository | https://github.com/viperproject/prusti-dev/tree/master/prusti-contracts/prusti-specs |
| max_upload_size | |
| id | 674254 |
| size | 227,976 |
(prusti-devs)
documentation
README
Internal Prusti crate implementing procedural macro processing.