@hackage / crucible-symio

An implementation of symbolic I/O primitives for Crucible

0.2.0.0

Dependents

@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 / crux-llvm A verification tool for C programs.
- Version: 0.12
- Last uploaded: 4 months ago
- License: BSD-3-Clause