@hackage / crucible-debug

An interactive debugger for Crucible programs

Latest0.1.2.0

Dependencies

library:crucible-debug (17 dependencies)

@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause
@hackage / isocline A portable alternative to GNU Readline
- Version:
- License: MIT
@hackage / vector Efficient Arrays
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / crucible-syntax A syntax for reading and writing Crucible control-flow graphs
- Version:
- License: BSD-3-Clause
@hackage / extra Extra functions I use.
- Version:
- License: BSD-3-Clause
@hackage / prettyprinter A modern, easy to use, well-documented, extensible pretty-printer.
- Version:
- License: BSD-2-Clause
@hackage / base Core data structures and operations
- Version: >=4.13 && <4.21
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- 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 / 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 / megaparsec Monadic parser combinators
- Version:
- License: BSD-2-Clause
@hackage / what4 Solver-agnostic symbolic values support for issuing queries
- Version:
- License: BSD-3-Clause
@hackage / ring-buffer A concurrent, mutable ring-buffer
- Version:
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version:
- License: BSD-3-Clause
@hackage / lens Lenses, Folds and Traversals
- Version:
- License: BSD-2-Clause

executable:crucible-debug (3 dependencies)

test:crucible-debug-tests (8 dependencies)