owi
| Crates.io | owi |
| lib.rs | owi |
| version | 0.1.0 |
| created_at | 2024-02-22 17:57:27.09092+00 |
| updated_at | 2024-02-22 17:57:27.09092+00 |
| description | Bindings to the Owi symbolic runtime |
| homepage | |
| repository | https://github.com/dylibso/owi-rs |
| max_upload_size | |
| id | 1149555 |
| size | 6,594 |
Arthur Carcano (krtab)
documentation
README
owi-rs
Rust bindings to the Owi symbolic runtime.
This can be used to generate WebAssembly modules that can be converted to WebAsembly text format and passed to Owi for symbolic verification.
See examples/ for some basic usage examples.