@hackage llvm-pretty-bc-parser0.6.0.0
LLVM bitcode parsing library
Categories
License
BSD-3-Clause
Maintainer
Ryan Scott <rscott@galois.com> , Kevin Quick <kquick@galois.com> , Langston Barrett <langston@galois.com>
Links
Versions
Installation
Dependencies (10)
- array >=0.3
- base >=4.8 && <5
- bytestring >=0.10
- containers >=0.4
- fgl >=5.5
- llvm-pretty >=0.14.0.0 && <0.15 Show all…
Dependents (3)
@hackage/acme-everything, @hackage/crucible-llvm, @hackage/crux-llvm
Package Flags
fuzz
(off by default)
Enable fuzzing harness
regressions
(off by default)
Enable regression testing build
old-optparse
(off by default)
Enable pprint compatibility when using older optparse-applicative
llvm-pretty-bc-parser
A parser for the LLVM bitcode file format, yielding a Module from
the llvm-pretty package.
Compatibility
The following table shows what kinds of tests have been/are being run with which compilers.
- A check in the the randomized tests column indicates that such tests are regularly run in Github Actions.
- A check in the manual tests column indicates that the parser seems to work on some code that was generated by this compiler.
| Compiler | Version | Randomized tests | Manual tests | Notes |
|---|---|---|---|---|
clang |
v3.4 | ✓ | See issues | |
| v3.5 | ✓ | See issues | ||
| v3.6 | ✓ | See issues | ||
| v3.7 | ✓ | See issues | ||
| v3.8 | ✓ | ✓ | See issues | |
| v3.9 | ✓ | See issues | ||
| v4 | ✓ | See issues | ||
| v5 | ✓ | See issues | ||
| v6 | ✓ | ✓ | See issues | |
| v7 | ✓ | See issues | ||
| v8 | ✓ | See issues | ||
| v9 | ✓ | See issues | ||
| v10 | ✓ | ✓ | See issues | |
| v11 | ✓ | ✓ | See issues | |
| v12 | ✓ | ✓ | See issues | |
| v13 | ✓ | ✓ | See issues | |
| v14 | ✓ | ✓ | See issues | |
| v15 | ✓ | ✓ | See issues | |
| v16 | ✓ | ✓ | See issues | |
| v17 | ✓ | ✓ | See issues | |
| v18 | ✓ | ✓ | See issues | |
| v19 | ✓ | ✓ | See issues | |
| v20 | ✓ | ✓ | See issues | |
| v21 | ✓ | ✓ | See issues |
If you encounter problems with the output of any compiler, please file an issue.
Documentation
Developers' documentation: doc/developing.md
GHC Support
llvm-pretty-bc-parser endeavors to support three versions of GHC at a time. See the developers' documentation for more details and a rationale: doc/developing.md. Currently supported:
- GHC 9.6.6
- GHC 9.8.4
- GHC 9.10.1