@hackage / crucible-llvm

Support for translating and executing LLVM code in Crucible

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