@hackage crucible-llvm0.8.0.0

Support for translating and executing LLVM code in Crucible

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