@hackage crucible dependents

7 results

@hackage/copilot-verifier
System for verifying the correctness of generated Copilot programs
BSD-3-Clausev4.3
@hackage/crucible-debug
An interactive debugger for Crucible programs
BSD-3-Clausev0.1.0
@hackage/crucible-llvm
Support for translating and executing LLVM code in Crucible
BSD-3-Clausev0.7.1
@hackage/crucible-symio
An implementation of symbolic I/O primitives for Crucible
BSD-3-Clausev0.1.1
@hackage/crucible-syntax
A syntax for reading and writing Crucible control-flow graphs
BSD-3-Clausev0.4.1
@hackage/crux
Simple top-level library for Crucible Simulation
BSD-3-Clausev0.7.2
@hackage/crux-llvm
A verification tool for C programs.
BSD-3-Clausev0.10