prusti-contracts-proc-macros
| Crates.io | prusti-contracts-proc-macros |
| lib.rs | prusti-contracts-proc-macros |
| version | 0.2.0 |
| created_at | 2022-09-26 13:37:40.743111+00 |
| updated_at | 2023-09-04 12:26:50.339438+00 |
| description | Internal `proc-macro` Prusti crate |
| homepage | https://www.pm.inf.ethz.ch/research/prusti.html |
| repository | https://github.com/viperproject/prusti-dev/tree/master/prusti-contracts/prusti-contracts-proc-macros/ |
| max_upload_size | |
| id | 674255 |
| size | 10,041 |
(prusti-devs)
documentation
README
Internal Prusti proc-macro crate. Must be a separate crate from prusti-contracts due to Rust limitations.