@hackage crux0.9
Simple top-level library for Crucible Simulation
Categories
License
BSD-3-Clause
Maintainer
rscott@galois.com, kquick@galois.com, langston@galois.com
Links
Versions
Installation
Dependencies (37)
- Glob >=0.10 && <0.11
- aeson <2.3
- ansi-terminal
- async
- attoparsec
- base >=4 && <5 Show all…
Dependents (2)
@hackage/copilot-verifier, @hackage/crux-llvm
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.