Dependencies for copilot-4.5
Libraries
copilot
- base (>=4.9 && <5)
- copilot-c99 (>=4.5 && <4.6)
- copilot-core (>=4.5 && <4.6)
- copilot-language (>=4.5 && <4.6)
- copilot-libraries (>=4.5 && <4.6)
- copilot-prettyprinter (>=4.5 && <4.6)
- copilot-theorem (>=4.5 && <4.6)
- directory (>=1.3 && <1.4)
- filepath (>=1.4 && <1.6)
- optparse-applicative (>=0.14 && <0.19)
Executables
what4-propositional
- base
- copilot
- copilot-theorem
- if !flag(examples)
- buildable: False
what4-arithmetic
- base
- copilot
- copilot-theorem
- if !flag(examples)
- buildable: False
what4-arithmetic-counterexamples
- base
- containers
- 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
- base (>=4.9 && <5)
- copilot
- copilot-c99
- if !flag(examples)
- buildable: False
engine
heater
- base (>=4.9 && <5)
- copilot
- copilot-c99
- if !flag(examples)
- buildable: False
structs
- base (>=4.9 && <5)
- copilot
- copilot-c99
- if !flag(examples)
- buildable: False
structs-update-field
- 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