| Crates.io | verifier |
| lib.rs | verifier |
| version | 0.1.0 |
| created_at | 2020-02-01 22:40:57.931552+00 |
| updated_at | 2020-02-01 22:40:57.931552+00 |
| description | Macros that provide common software verifier primitives |
| homepage | |
| repository | https://github.com/zvonimir/rust-benchmarks |
| max_upload_size | |
| id | 204035 |
| size | 1,636 |