@hackage crucible-debug0.1.2.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.2.0 Mon, 10 Nov 2025
- 0.1.0 Fri, 21 Mar 2025

Installation
In your cabal file:
Dependencies (17)
- base >=4.13 && <4.21
- containers
- crucible
- crucible-syntax
- directory
- extra
Dependents (2)
@hackage/crux-llvm, @hackage/crux

An interactive debugger for Crucible programs.