@hackage / crucible-llvm

Support for translating and executing LLVM code in Crucible

Latest0.9

Dependencies

library:crucible-llvm (21 dependencies)

@hackage / what4 Solver-agnostic symbolic values support for issuing queries
- Version: >=0.5
- License: BSD-3-Clause
@hackage / llvm-pretty A pretty printing library inspired by the llvm binding.
- Version: >=0.12.1 && <0.15
- License: BSD-3-Clause
@hackage / attoparsec Fast combinator parsing for bytestrings and text
- Version:
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version:
- License: BSD-3-Clause
@hackage / lens Lenses, Folds and Traversals
- Version:
- License: BSD-2-Clause
@hackage / itanium-abi An implementation of name mangling/demangling for the Itanium ABI
- Version: >=0.1.1.1 && <0.2
- License: BSD-3-Clause
@hackage / template-haskell Support library for Template Haskell
- Version:
- License: BSD-3-Clause
@hackage / extra Extra functions I use.
- Version:
- License: BSD-3-Clause
@hackage / crucible-symio An implementation of symbolic I/O primitives for Crucible
- Version:
- License: BSD-3-Clause
@hackage / prettyprinter A modern, easy to use, well-documented, extensible pretty-printer.
- Version: >=1.7.0
- License: BSD-2-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5.8.0
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause
@hackage / base Core data structures and operations
- Version: >=4.13 && <4.21
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version:
- License: BSD-3-Clause
@hackage / utf8-string Support for reading and writing UTF8 Strings
- Version:
- License: BSD-3-Clause
@hackage / parameterized-utils Classes and data structures for working with data-kind indexed types
- Version: >=2.1.5 && <2.2
- License: BSD-3-Clause
@hackage / bv-sized a bitvector datatype that is parameterized by the vector width
- Version: >=1.0.0
- License: BSD-3-Clause
@hackage / crucible Crucible is a library for language-agnostic symbolic simulation
- Version: >=0.5
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / vector Efficient Arrays
- Version:
- License: BSD-3-Clause

test:crucible-llvm-tests (18 dependencies)