@hackage crucible-debug0.1.0

An interactive debugger for Crucible programs

Categories
License
BSD-3-Clause
Maintainer
langston@galois.com
Links
- Documentation
- No source repository
- Security
Versions
- 0.1.0 Fri, 21 Mar 2025

Installation
In your cabal file:
Dependencies (16)
- base >=4.13 && <4.20
- containers
- directory
- filepath
- mtl
- text
Dependents (1)
@hackage/crux

An interactive debugger for Crucible programs.