Dependencies for crucible-0.7.2
Libraries
crucible
- async
- base (>=4.13 && <4.20)
- bimap
- bv-sized (>=1.0.0 && <1.1)
- containers (>=0.5.9.0)
- exceptions
- fgl
- hashable
- json (>=0.9 && <1.0)
- lens
- mtl
- panic (>=0.3)
- parameterized-utils (>=1.0.8 && <2.2)
- prettyprinter (>=1.7.0)
- template-haskell
- text
- th-abstraction (>=0.1 && <0.7)
- time (>=1.8 && <2.0)
- transformers
- unordered-containers
- vector
- what4 (>=1.6.1)
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| unsafe-operations | Use unsafe operations to improve performance | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info