@hackage crux0.7.1

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.