[Haskell-cafe] [ANN] Copilot 3.13

Ivan Perez ivanperezdominguez at gmail.com
Tue Jan 10 07:25:56 UTC 2023

Dear all,

I'm very excited to announce Copilot 3.13.

Copilot is a stream-based DSL for writing and monitoring embedded C
programs, with an emphasis on correctness and hard realtime requirements.
Copilot is typically used as a high-level runtime verification framework,
and supports temporal logic (LTL, PTLTL and MTL), clocks and voting

Among others, Copilot has been used at the Safety Critical Avionics Systems
Branch of NASA Langley Research Center for monitoring test flights of
drones. It also serves as a runtime monitoring backend for the requirements
elicitation tool FRET (https://github.com/NASA-SW-VnV/fret/), via Ogma (

This release fixes 4 bugs in copilot-core and copilot-c99. We have also
removed 2 deprecated modules and one dependency. The new release has been
published on hackage, as well as github.

Current emphasis is on increasing test coverage, removing unnecessary
dependencies, hiding internal definitions, and formatting the code to meet
our new coding standards. Users are encouraged to participate by opening
issues and asking questions via our github repo (

I'd also like to take this opportunity to announce that Copilot is now
being made available on Ubuntu Lunar 23.04 and Debian Bookworm. We would
like to thank the Debian Haskell Group and, most especially, Scott Talbert,
for continued effort making Copilot available on Debian-based distros. This
will be extremely useful to a great portion of our users, who need to use
Copilot as a runtime verification system targeting C, but do not need to
become proficient in Haskell. We hope to continue this effort by making
Copilot easily available on other distributions and OSs.

Happy Haskelling,

The Copilot team
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20230109/19dc5387/attachment.html>

More information about the Haskell-Cafe mailing list