crucible-symio: An implementation of symbolic I/O primitives for Crucible
This library provides language-independent overrides implementing filesystem operations (as provided by most operating systems). These primitives support reading and writing symbolic data. An example use case would be to support verifying programs that e.g., use configuration files or accept input from files.
Downloads
- crucible-symio-0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | aeson, base (>=4.12 && <4.19), bv-sized, bytestring, containers, crucible, directory, filemanip, filepath, IntervalMap, lens, mtl, parameterized-utils, text, what4 [details] |
| License | BSD-3-Clause |
| Author | Daniel Matichuk |
| Maintainer | rscott@galois.com, kquick@galois.com, langston@galois.com |
| Category | Language |
| Source repo | head: git clone https://github.com/GaloisInc/crucible(crucible-symio) |
| Uploaded | by ryanglscott at 2024-02-05T21:13:57Z |
| Distributions | |
| Reverse Dependencies | 2 direct, 1 indirect [details] |
| Downloads | 36 total (6 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2024-02-05 [all 1 reports] |