@hackage / crucible-symio

An implementation of symbolic I/O primitives for Crucible

Latest0.2.0.0

Dependencies

library:crucible-symio (15 dependencies)

@hackage / directory Platform-agnostic library for filesystem operations
- Version:
- License: BSD-3-Clause
@hackage / lens Lenses, Folds and Traversals
- Version:
- License: BSD-2-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / bv-sized a bitvector datatype that is parameterized by the vector width
- Version:
- License: BSD-3-Clause
@hackage / what4 Solver-agnostic symbolic values support for issuing queries
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.12 && <4.21
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version:
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version:
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause
@hackage / filemanip Expressive file and directory manipulation for Haskell.
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / parameterized-utils Classes and data structures for working with data-kind indexed types
- Version:
- License: BSD-3-Clause
@hackage / aeson Fast JSON parsing and encoding
- Version:
- License: BSD-3-Clause
@hackage / crucible Crucible is a library for language-agnostic symbolic simulation
- Version:
- License: BSD-3-Clause
@hackage / IntervalMap Containers for intervals, with efficient search.
- Version:
- License: BSD-3-Clause

test:crucible-symio-tests (18 dependencies)