Dependencies for copilot-3.2.1

library
what4-propositional
what4-arithmetic
what4-structs
wcv
addmult
array
  • base (>=4.9 && <5)
  • copilot
  • if !flag(examples)
    • buildable: False
cast
  • base (>=4.9 && <5)
  • copilot
  • if !flag(examples)
    • buildable: False
clock
counter
  • base (>=4.9 && <5)
  • copilot
  • if !flag(examples)
    • buildable: False
engine
  • base (>=4.9 && <5)
  • copilot
  • if !flag(examples)
    • buildable: False
heater
voting
  • base (>=4.9 && <5)
  • copilot
  • if !flag(examples)
    • buildable: False

Flags

NameDescriptionDefaultType
examples

Enable examples

DisabledManual

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info