@hackage crucible0.7

Crucible is a library for language-agnostic symbolic simulation

Categories
- Language
License
BSD-3-Clause
Maintainer
rscott@galois.com, kquick@galois.com, langston@galois.com
Links
Versions
- 0.7 Mon, 5 Feb 2024

Crucible provides a program representation format based on single-static assignment (SSA) form control flow graphs, and a symbolic simulation engine for executing programs expressed in this format. It also provides support for communicating with a variety of SAT and SMT solvers, including Z3, CVC4, Yices, STP, and dReal.

Installation
In your cabal file:
Dependencies (21)
- base >=4.13 && <4.19
- containers >=0.5.9.0
- mtl
- template-haskell
- text
- transformers
Dependents (5)
@hackage/copilot-verifier, @hackage/crucible-llvm, @hackage/crux-llvm, @hackage/crucible-symio, @hackage/crux

Package Flags

unsafe-operations

(on by default)

Use unsafe operations to improve performance

@hackage crucible0.7

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (21)

Dependents (5)

Package Flags