@hackage / crux

Simple top-level library for Crucible Simulation

Latest0.9

About

Metadata

  • Last updated , by aschwerdfeger_galois
  • License BSD-3-Clause

  • Maintained by: rscott@galois.com, kquick@galois.com, langston@galois.com

  • Lottery factor: 4

Links

Installation

Readme

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.