crucible-llvm
Version 0.7 revision 1 uploaded by ryanglscott.
Package meta
- Synopsis
- Support for translating and executing LLVM code in Crucible
- Description
Library providing LLVM-specific extensions to the crucible core library for Crucible-based simulation and verification of LLVM-compiled applications.
- Author
- Galois Inc.
- Bug reports
- n/a
- Category
- Language
- Copyright
- (c) Galois, Inc 2014-2022
- Homepage
- n/a
- Maintainer
- rscott@galois.com, kquick@galois.com, langston@galois.com
- Package URL
- n/a
- Stability
- n/a