Dependencies for copilot-3.5
Libraries
copilot
- base (>=4.9 && <5)
- copilot-c99 (>=3.5 && <3.6)
- copilot-core (>=3.5 && <3.6)
- copilot-language (>=3.5 && <3.6)
- copilot-libraries (>=3.5 && <3.6)
- copilot-theorem (>=3.5 && <3.6)
- directory (>=1.3 && <1.4)
- filepath (>=1.4 && <1.5)
- optparse-applicative (>=0.14 && <0.16)
Executables
what4-propositional
- base
- copilot
- copilot-theorem
- if !flag(examples)
- buildable: False
what4-arithmetic
- base
- copilot
- copilot-theorem
- if !flag(examples)
- buildable: False
what4-structs
- base
- copilot
- copilot-theorem
- if !flag(examples)
- buildable: False
wcv
- base (>=4.9 && <5)
- copilot
- copilot-core
- copilot-theorem
- if !flag(examples)
- buildable: False
addmult
- base (>=4.9 && <5)
- copilot
- copilot-core
- copilot-theorem
- if !flag(examples)
- buildable: False
array
cast
clock
- base (>=4.9 && <5)
- copilot
- copilot-core
- copilot-libraries
- copilot-theorem
- if !flag(examples)
- buildable: False
counter
engine
heater
- base (>=4.9 && <5)
- copilot
- copilot-c99
- if !flag(examples)
- buildable: False
voting
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| examples | Enable examples | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info