crux: Simple top-level library for Crucible Simulation

[ bsd3, language, library ] [ Propose Tags ]

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.

Downloads

Maintainer's Corner

Package maintainers

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 32 total (5 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]