@hackage crucible-llvm dependencies

36 results

library:crucible-llvm (18 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause

@haskell/text

An efficient packed Unicode text type.

BSD-2-Clause

@haskell/template-haskell

Support library for Template Haskell

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.5.8.0

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.13 && <4.20

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

BSD-3-Clause>=1.7

@hackage/parameterized-utils

Classes and data structures for working with data-kind indexed types

BSD-3-Clause>=2.1.5 && <2.2

@hackage/llvm-pretty

A pretty printing library inspired by the llvm binding.

BSD-3-Clause>=0.12.1 && <0.14

@hackage/lens

Lenses, Folds and Traversals

BSD-2-Clause

@hackage/itanium-abi

An implementation of name mangling/demangling for the Itanium ABI

BSD-3-Clause>=0.1.1.1 && <0.2

@hackage/extra

Extra functions I use.

BSD-3-Clause

@hackage/crucible-symio

An implementation of symbolic I/O primitives for Crucible

BSD-3-Clause

@hackage/crucible

Crucible is a library for language-agnostic symbolic simulation

BSD-3-Clause>=0.5

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

BSD-3-Clause>=1.0.0

@hackage/attoparsec

Fast combinator parsing for bytestrings and text

BSD-3-Clause

test:crucible-llvm-tests (18 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause

@haskell/process

Process libraries

BSD-3-Clause

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

BSD-3-Clause

@hackage/tasty-sugar

Tests defined by Search Using Golden Answer References

ISC>=2.0 && <2.3

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

MIT

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT

@hackage/tasty

Modern and extensible testing framework

MIT

@hackage/parameterized-utils

Classes and data structures for working with data-kind indexed types

BSD-3-Clause

@hackage/llvm-pretty-bc-parser

LLVM bitcode parsing library

BSD-3-Clause

@hackage/llvm-pretty

A pretty printing library inspired by the llvm binding.

BSD-3-Clause

@hackage/lens

Lenses, Folds and Traversals

BSD-2-Clause

@hackage/crucible-llvm

Support for translating and executing LLVM code in Crucible

BSD-3-Clause

@hackage/crucible

Crucible is a library for language-agnostic symbolic simulation

BSD-3-Clause

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

BSD-3-Clause