@hackage crux-llvm dependencies

@haskell/process

Process libraries

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/containers

Assorted concrete container types

@haskell/bytestring

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

@haskell/base

Core data structures and operations

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/parameterized-utils

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

@hackage/logict

A backtracking logic-programming monad.

@hackage/llvm-pretty-bc-parser

LLVM bitcode parsing library

BSD-3-Clause>=0.5

@hackage/llvm-pretty

A pretty printing library inspired by the llvm binding.

@hackage/lens

Lenses, Folds and Traversals

@hackage/crux

Simple top-level library for Crucible Simulation

@hackage/crucible-symio

An implementation of symbolic I/O primitives for Crucible

@hackage/crucible-llvm

Support for translating and executing LLVM code in Crucible

@hackage/crucible

Crucible is a library for language-agnostic symbolic simulation

@hackage/config-schema

Schema definitions for the config-value package

ISC>=1.2.2.0

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

@hackage/aeson

Fast JSON parsing and encoding

executable:crux-llvm (15 dependencies)

@haskell/unix

POSIX functionality

@haskell/text

An efficient packed Unicode text type.

@haskell/process

Process libraries

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/containers

Assorted concrete container types

@haskell/bytestring

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

@haskell/base

Core data structures and operations

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/lens

Lenses, Folds and Traversals

@hackage/crux-llvm

A verification tool for C programs.

@hackage/crux

Simple top-level library for Crucible Simulation

@hackage/crucible-symio

An implementation of symbolic I/O primitives for Crucible

@hackage/crucible-llvm

Support for translating and executing LLVM code in Crucible

@hackage/crucible

Crucible is a library for language-agnostic symbolic simulation

executable:crux-llvm-for-ide (18 dependencies)

@haskell/unix

POSIX functionality

@haskell/text

An efficient packed Unicode text type.

@haskell/process

Process libraries

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/containers

Assorted concrete container types

@haskell/bytestring

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

@haskell/base

Core data structures and operations

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/websockets

A sensible and clean way to write WebSocket-capable servers in Haskell.

BSD-3-Clause>=0.12

@hackage/lumberjack

Trek through your code forest and make logs

ISC

@hackage/lens

Lenses, Folds and Traversals

@hackage/crux-llvm

A verification tool for C programs.

@hackage/crux

Simple top-level library for Crucible Simulation

@hackage/crucible-symio

An implementation of symbolic I/O primitives for Crucible

@hackage/crucible-llvm

Support for translating and executing LLVM code in Crucible

@hackage/crucible

Crucible is a library for language-agnostic symbolic simulation

@hackage/aeson

Fast JSON parsing and encoding

executable:crux-llvm-svcomp (21 dependencies)

@haskell/text

An efficient packed Unicode text type.

@haskell/process

Process libraries

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/containers

Assorted concrete container types

@haskell/bytestring

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

@haskell/base

Core data structures and operations

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/time

A time library

@hackage/lens

Lenses, Folds and Traversals

@hackage/indexed-traversable

FunctorWithIndex, FoldableWithIndex, TraversableWithIndex

@hackage/extra

Extra functions I use.

@hackage/cryptohash-sha256

Fast, pure and practical SHA-256 implementation

@hackage/crux-llvm

A verification tool for C programs.

@hackage/crux

Simple top-level library for Crucible Simulation

@hackage/crucible-symio

An implementation of symbolic I/O primitives for Crucible

@hackage/crucible-llvm

Support for translating and executing LLVM code in Crucible

@hackage/crucible

Crucible is a library for language-agnostic symbolic simulation

@hackage/base16-bytestring

RFC 4648-compliant Base16 encodings for ByteStrings

@hackage/attoparsec

Fast combinator parsing for bytestrings and text

@hackage/aeson

Fast JSON parsing and encoding

test:crux-llvm-test (21 dependencies)

@haskell/text

An efficient packed Unicode text type.

@haskell/process

Process libraries

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/containers

Assorted concrete container types

@haskell/bytestring

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

@haskell/base

Core data structures and operations

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

@hackage/versions

Types and parsers for software version numbers.

@hackage/tasty-sugar

Tests defined by Search Using Golden Answer References

ISC>=2.2 && <2.3

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT>=0.10

@hackage/tasty

Modern and extensible testing framework

MIT>=0.10

@hackage/regex-posix

POSIX Backend for "Text.Regex" (regex-base)

@hackage/regex-base

Common "Text.Regex.*" API for Regex matching

@hackage/lens

Lenses, Folds and Traversals

@hackage/extra

Extra functions I use.

@hackage/crux-llvm

A verification tool for C programs.

@hackage/crux

Simple top-level library for Crucible Simulation

@hackage/crucible-symio

An implementation of symbolic I/O primitives for Crucible

@hackage/crucible-llvm

Support for translating and executing LLVM code in Crucible

@hackage/crucible

Crucible is a library for language-agnostic symbolic simulation