@hackage crucible-syntax0.4.1

A syntax for reading and writing Crucible control-flow graphs

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

Installation
In your cabal file:
Dependencies (13)
- base >=4.9 && <4.20
- containers
- mtl
- text
- transformers
- vector
Dependents (2)
@hackage/crux, @hackage/crucible-debug

This package provides a syntax for directly constructing Crucible control-flow graphs, as well as for observing them.