@hackage / crucible-syntax

A syntax for reading and writing Crucible control-flow graphs

Latest0.5.0.0

Dependencies

library:crucible-syntax (13 dependencies)

@hackage / lens Lenses, Folds and Traversals
- Version:
- License: BSD-2-Clause
@hackage / megaparsec Monadic parser combinators
- Version: >=7.0 && <9.7
- License: BSD-2-Clause
@hackage / prettyprinter A modern, easy to use, well-documented, extensible pretty-printer.
- Version: >=1.7.0
- License: BSD-2-Clause
@hackage / vector Efficient Arrays
- 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.9 && <4.21
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.6.0.1
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause
@hackage / parameterized-utils Classes and data structures for working with data-kind indexed types
- Version: >=0.1.7
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version:
- License: BSD-3-Clause
@hackage / crucible Crucible is a library for language-agnostic symbolic simulation
- Version: >=0.8
- License: BSD-3-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: >=1.0.0
- License: BSD-3-Clause

test:crucible-syntax-tests (13 dependencies)