@hackage crucible-llvm0.7.1

Support for translating and executing LLVM code in Crucible

Categories
- Language
License
BSD-3-Clause
Maintainer
rscott@galois.com, kquick@galois.com, langston@galois.com
Links
Versions
- 0.7.1 Tue, 25 Mar 2025
- 0.7 Tue, 3 Sep 2024
- 0.6 Mon, 5 Feb 2024

Installation
In your cabal file:
Dependencies (21)
- base >=4.13 && <4.20
- bytestring
- containers >=0.5.8.0
- mtl
- template-haskell
- text
Dependents (2)
@hackage/copilot-verifier, @hackage/crux-llvm

Library providing LLVM-specific extensions to the crucible core library for Crucible-based simulation and verification of LLVM-compiled applications.