crux: Simple top-level library for Crucible Simulation
The Crux library provides the common elements for running a Crucible simulation on specific source files, with various options. This library is used by specific instances of Crux tools that provide a command-line interface to Crucible-based simulation and verification, usually by embedding verification specifications in the source language.
Modules
[Index] [Quick Jump]
Downloads
- crux-0.7.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.7 |
|---|---|
| Dependencies | aeson (<2.3), ansi-terminal, async, attoparsec, base (>=4 && <5), bv-sized (>=1.0.0), bytestring, config-schema (>=1.2.2.0), config-value, containers, contravariant (>=1.5 && <1.6), crucible, directory, filepath, generic-lens, Glob (>=0.10 && <0.11), lens, libBF (>=0.6 && <0.7), lumberjack (>=1.0 && <1.1), parameterized-utils (>=1.0 && <2.2), prettyprinter (>=1.7.0), raw-strings-qq, semigroupoids, simple-get-opt (<0.5), split (>=0.2), terminal-size, text, time (>=1.9 && <2.0), vector (>=0.7), what4 (>=0.4.1), xml, yaml (>=0.11 && <0.12) [details] |
| License | BSD-3-Clause |
| Copyright | (c) Galois, Inc. 2018-2022 |
| Author | sweirich@galois.com |
| Maintainer | rscott@galois.com, kquick@galois.com, langston@galois.com |
| Category | Language |
| Source repo | head: git clone https://github.com/GaloisInc/crucible(crux) |
| Uploaded | by ryanglscott at 2024-02-05T21:14:14Z |
| Distributions | |
| Reverse Dependencies | 2 direct, 0 indirect [details] |
| Downloads | 34 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] |