@hackage / crucible

Crucible is a library for language-agnostic symbolic simulation

0.9

Dependents

@hackage / copilot-verifier System for verifying the correctness of generated Copilot programs
- Version: 4.7
- Last uploaded: 3 months ago
- License: BSD-3-Clause
@hackage / crucible-debug An interactive debugger for Crucible programs
- Version: 0.1.2.0
- Last uploaded: 2 months ago
- License: BSD-3-Clause
@hackage / crucible-llvm Support for translating and executing LLVM code in Crucible
- Version: 0.9
- Last uploaded: 4 months ago
- License: BSD-3-Clause
@hackage / crucible-symio An implementation of symbolic I/O primitives for Crucible
- Version: 0.2.0.0
- Last uploaded: 7 months ago
- License: BSD-3-Clause
@hackage / crucible-syntax A syntax for reading and writing Crucible control-flow graphs
- Version: 0.5.0.0
- Last uploaded: 2 months ago
- License: BSD-3-Clause
@hackage / crux Simple top-level library for Crucible Simulation
- Version: 0.9
- Last uploaded: 4 months ago
- License: BSD-3-Clause
@hackage / crux-llvm A verification tool for C programs.
- Version: 0.12
- Last uploaded: 4 months ago
- License: BSD-3-Clause