<div dir="ltr">Hi everyone,<br><br>We are very excited to announce Copilot 3.16 [2]. Copilot is a<br>stream-based EDSL in Haskell for writing and monitoring embedded C<br>programs, with an emphasis on correctness and hard realtime<br>requirements. Copilot is typically used as a high-level runtime<br>verification framework, and supports temporal logic (LTL, PTLTL and<br>MTL), clocks and voting algorithms.<br><br>Copilot has been used at NASA in drone test flights. Through the NASA<br>tool Ogma [1] (also written in Haskell), Copilot also serves as a<br>runtime monitoring backend for NASA's Core Flight System, Robot<br>Operating System (ROS2), and FPrime (the software framework used in the<br>Mars Helicopter) applications.<br><br>This new version provides comprehensive tests for the C99 backend, and<br>introduces a breaking change in the definition of the type `Arg` in<br>copilot-language. For details, see [2]. The new version is already<br>available on Hackage [4].<br><br>As always, we're releasing exactly 2 months since the last release. Our<br>next release is scheduled for Sep 7th, 2023.<br><br>We are also extremely excited to announce that Copilot has received<br>full approval for release as NASA Class D open-source software. Current<br>emphasis is on increasing test coverage for the two remaining libraries<br>without tests (copilot-language and copilot-theorem), removing<br>unnecessary dependencies, hiding internal definitions, and formatting<br>the code to meet our new coding standards. Users are encouraged to<br>participate by opening issues and asking questions via our github repo<br>[3].<br><br><div>There have been many updates on the Copilot front in the last few</div><div>months. We'll be able to announce more soon. Stay tuned.</div><br>Happy Haskelling!<br><br>Ivan<br><br>[1] <a href="https://github.com/nasa/ogma">https://github.com/nasa/ogma</a><br><br>[2] <a href="https://github.com/Copilot-Language/copilot/releases/tag/v3.16">https://github.com/Copilot-Language/copilot/releases/tag/v3.16</a><br><br>[3] <a href="https://github.com/Copilot-Language/copilot">https://github.com/Copilot-Language/copilot</a><br><br>[4] <a href="https://hackage.haskell.org/package/copilot">https://hackage.haskell.org/package/copilot</a></div>