prusti-std
| Crates.io | prusti-std |
| lib.rs | prusti-std |
| version | 0.2.0 |
| source | src |
| created_at | 2022-09-26 13:42:21.569525 |
| updated_at | 2023-09-04 12:27:13.917015 |
| description | External specifications for items in std for Prusti |
| homepage | https://www.pm.inf.ethz.ch/research/prusti.html |
| repository | https://github.com/viperproject/prusti-dev/tree/master/prusti-contracts/prusti-std/ |
| max_upload_size | |
| id | 674262 |
| size | 2,893 |
(prusti-devs)
documentation
README
Provides specifications for std functions. By importing this and adding extern crate prusti_std; to your root file, one can avoid needing to write external specifications. This crate does not replace prusti-contracts, you will still need to import the latter to write contracts in your crate.