The latest version of copilot is 4.0-0.
lib:copilot
Modules
Dependencies
- base lib:base >=4.9 && <5
- copilot-c99 lib:copilot-c99 >=3.2.1 && <3.3
- copilot-core lib:copilot-core >=3.2.1 && <3.3
- copilot-language lib:copilot-language >=3.2.1 && <3.3
- copilot-libraries lib:copilot-libraries >=3.2.1 && <3.3
- copilot-theorem lib:copilot-theorem >=3.2.1 && <3.3
- directory lib:directory >=1.3 && <1.4
- filepath lib:filepath >=1.4 && <1.5
- optparse-applicative lib:optparse-applicative >=0.14 && <0.16
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- arduino-copilot lib:arduino-copilot
- copilot exe:addmult
- copilot exe:array
- copilot exe:cast
- copilot exe:clock
- copilot exe:counter
- copilot exe:engine
- copilot exe:heater
- copilot exe:voting
- copilot exe:wcv
- copilot exe:what4-arithmetic
- copilot exe:what4-propositional
- copilot exe:what4-structs