| CARVIEW |
Select Language
HTTP/1.1 200 OK
Connection: keep-alive
Server: nginx/1.24.0 (Ubuntu)
Content-Type: text/html; charset=utf-8
Cache-Control: public, max-age=300
Content-Encoding: gzip
Via: 1.1 varnish, 1.1 varnish
Accept-Ranges: bytes
Age: 0
Date: Sat, 17 Jan 2026 10:54:02 GMT
X-Served-By: cache-dfw-kdfw8210092-DFW, cache-bom-vanm7210059-BOM
X-Cache: MISS, MISS
X-Cache-Hits: 0, 0
X-Timer: S1768647242.060905,VS0,VE367
Vary: Accept, Accept-Encoding
transfer-encoding: chunked
crucible-llvm: Support for translating and executing LLVM code in Crucible
[Skip to Readme]
crucible-llvm: 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.
[Skip to Readme]
Modules
[Index] [Quick Jump]
- Lang
- Crucible
- Lang.Crucible.LLVM
- Arch
- Lang.Crucible.LLVM.ArraySizeProfile
- Lang.Crucible.LLVM.Bytes
- Lang.Crucible.LLVM.Ctors
- Lang.Crucible.LLVM.DataLayout
- Lang.Crucible.LLVM.Errors
- Lang.Crucible.LLVM.Eval
- Lang.Crucible.LLVM.Extension
- Lang.Crucible.LLVM.Functions
- Lang.Crucible.LLVM.Globals
- Lang.Crucible.LLVM.Internal
- Lang.Crucible.LLVM.Intrinsics
- Lang.Crucible.LLVM.MalformedLLVMModule
- Lang.Crucible.LLVM.MemModel
- Lang.Crucible.LLVM.MemType
- Lang.Crucible.LLVM.PrettyPrint
- Lang.Crucible.LLVM.Printf
- Lang.Crucible.LLVM.QQ
- Lang.Crucible.LLVM.SimpleLoopFixpoint
- Lang.Crucible.LLVM.SimpleLoopFixpointCHC
- Lang.Crucible.LLVM.SimpleLoopInvariant
- Lang.Crucible.LLVM.SymIO
- Lang.Crucible.LLVM.Translation
- Lang.Crucible.LLVM.TypeContext
- Lang.Crucible.LLVM
- Crucible
Downloads
- crucible-llvm-0.8.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.6, 0.7, 0.7.1, 0.8.0.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | attoparsec, base (>=4.13 && <4.21), bv-sized (>=1.0.0), bytestring, containers (>=0.5.8.0), crucible (>=0.5), crucible-symio, extra, itanium-abi (>=0.1.1.1 && <0.2), lens, llvm-pretty (>=0.12.1 && <0.14), mtl, parameterized-utils (>=2.1.5 && <2.2), pretty, prettyprinter (>=1.7.0), template-haskell, text, transformers, utf8-string, vector, what4 (>=0.5) [details] |
| License | BSD-3-Clause |
| Copyright | (c) Galois, Inc 2014-2022 |
| Author | Galois Inc. |
| Maintainer | rscott@galois.com, kquick@galois.com, langston@galois.com |
| Uploaded | by aschwerdfeger_galois at 2025-11-10T21:43:03Z |
| Category | Language |
| Source repo | head: git clone https://github.com/GaloisInc/crucible(crucible-llvm) |
| Distributions | |
| Reverse Dependencies | 2 direct, 0 indirect [details] |
| Downloads | 253 total (17 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating |
|
| Status | Docs available [build log] Last success reported on 2025-11-11 [all 1 reports] |
Readme for crucible-llvm-0.8.0.0
[back to package description]This package implements an LLVM frontend for Crucible. The frontend provides two major things:
- A translation of LLVM IR into the Crucible IR
- Data types supporting that translation
Most clients of the library that just want to analyze LLVM IR (which usually means C and C++) will only need the Lang.Crucible.LLVM and Lang.Crucible.LLVM.Translation modules. The core data structure implementing the LLVM memory model (see Lang.Crucible.LLVM.MemModel) may be of interest to other clients. The memory model is documented in more detail in the docs.