The latest version of copilot-libraries is 4.1-0.
lib:copilot-libraries
Modules
- Copilot.Library.Clocks
- Copilot.Library.LTL
- Copilot.Library.Libraries
- Copilot.Library.PTLTL
- Copilot.Library.RegExp
- Copilot.Library.Stacks
- Copilot.Library.Statistics
- Copilot.Library.Utils
- Copilot.Library.Voting
Dependencies
- array lib:array >=0
- base lib:base >=4.0 && <=5.0
- containers lib:containers >=0
- copilot-language lib:copilot-language >=0
- mtl lib:mtl >=2.0
- parsec lib:parsec >=2.0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- copilot exe:clock
- copilot exe:copilot-regression
- copilot lib:copilot