reduce_unsafe
| Crates.io | reduce_unsafe |
| lib.rs | reduce_unsafe |
| version | 0.1.0 |
| created_at | 2020-01-18 20:48:11.557386+00 |
| updated_at | 2020-01-18 20:48:11.557386+00 |
| description | Reduce unsafe code and detect soundness bugs with equivalence checks against safe code |
| homepage | |
| repository | https://gitlab.com/sio4/code/reduce_unsafe |
| max_upload_size | |
| id | 199839 |
| size | 18,514 |
(WildCryptoFox)
documentation
https://docs.rs/reduce_unsafe