Documentation

A manual to Copilot can be downloaded here.

Copilot comes with a set of examples as part of its distribution, available in the Examples directory of the repository.

Structure and Sources

Apart from the Copilot Github project page, there are a number of sub-projects that make up Copilot, that all share a single repository:

copilot: The main Copilot package, to which all others are a dependency. One should install this one to install Copilot. (Sources) (Hackage)
copilot-core: The core language, which efficiently represents Copilot expressions. The core is only of interest to implementers wishing to add a new back-end to Copilot. (Hackage)
copilot-interpreter: A backend for simulating Copilot specifications. (Hackage)
copilot-language: The front-end of Copilot defining the user language. A user of Copilot typically interacts with this library. (Hackage)
copilot-libraries: User-supplied libraries for Copilot, including linear-temporal logic, fault-tolerant voting, regular expressions, etc. (Hackage)
copilot-c99: A backend writing hard realtime C99 code. It writes readable output and ensures the output code is constant in memory and time. (Hackage)
copilot-theorem: Some tools to prove properties on Copilot. (Hackage)

Additionally there is a specific repository that lists most of the papers and articles written on Copilot: copilot-discussion.