<div dir="ltr">Hi everyone!!<br><br>We are really excited to announce Copilot 4.4 [1,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. Compilation to Bluespec, to<br>target FPGAs, is also supported.<br><br>Copilot is NASA Class D open-source software, and is being used at NASA<br>in drone test flights. Through the NASA tool Ogma [3] (also written in<br>Haskell), Copilot also serves as a programming language and runtime<br>framework for NASA's Core Flight System, Robot Operating System (ROS2),<br>FPrime (the software framework used in the Mars Helicopter). Ogma now<br>supports producing flight and robotics applications directly in Copilot,<br>not just for monitoring, but for implementing the logic of the<br>applications themselves.<br><br>This release introduces several updates, bug fixes and improvements to<br>Copilot:<br><br>- The Kind2 backend is now able to distinguish between existentially and<br>  universally quantified properties.<br><br>- The fields of the existential record type Copilot.Core.Type.UType have<br>  now been removed.<br><br>- The build status icon in the README has now been corrected to show the<br>  current build status.<br><br>The new implementation is compatible with versions of GHC from 8.6 to<br>9.12.<br><br>This release has been made possible thanks to key submissions from Ryan<br>Scott (Galois) and Kyle Beechly, both recurrent contributors to Copilot.<br>We are grateful to them for their contributions, and for making Copilot<br>better every day.<br><br>For details on this release, see [1].<br><br>As always, we're releasing exactly 2 months since the last release. Our<br>next release is scheduled for July 7th, 2025.<br><br>We want to remind the community that Copilot is now accepting code<br>contributions from external participants again. Please see the<br>discussions and the issues in our github repo [4] to learn how to<br>participate.<br><br>Current emphasis is on using Copilot for full data processing<br>applications (e.g, system control, arduinos, rovers, drones), merging<br>stable features (i.e., visualizer, Bluespec backend, verifier) into the<br>mainline, improving usability, performance, and stability, increasing<br>test coverage, removing unnecessary dependencies, hiding internal<br>definitions, formatting the code to meet our new coding standards, and<br>simplifying the Copilot interface. Users are encouraged to participate<br>by opening issues, asking questions, extending the implementation, and<br>sending bug fixes.<br><br>Happy Haskelling!<br><br>Ivan<br><br>--<br><br>[1] <a href="https://github.com/Copilot-Language/copilot/releases/tag/v4.4">https://github.com/Copilot-Language/copilot/releases/tag/v4.4</a><br><br>[2] <a href="https://hackage.haskell.org/package/copilot">https://hackage.haskell.org/package/copilot</a><br><br>[3] <a href="https://github.com/nasa/ogma">https://github.com/nasa/ogma</a><br><br>[4] <a href="https://github.com/Copilot-Language/copilot">https://github.com/Copilot-Language/copilot</a></div>