<div dir="ltr"><p class="gmail-_1qeIAgB0cPwnLhDF9XSiJM">Hi everyone!!</p><p class="gmail-_1qeIAgB0cPwnLhDF9XSiJM">We are very excited to announce 
Copilot 3.17 [2]. Copilot is a stream-based EDSL in Haskell 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 algorithms.</p><p class="gmail-_1qeIAgB0cPwnLhDF9XSiJM">Copilotis being used at NASA in drone test flights. Through the NASA tool Ogma
 [1] (also written in Haskell), Copilot also serves as a runtime 
monitoring backend for NASA's Core Flight System, Robot Operating System
 (ROS2), and FPrime (the software framework used in the Mars Helicopter)
 applications.</p><p class="gmail-_1qeIAgB0cPwnLhDF9XSiJM">This release introduces compatibility with <code class="gmail-_34q3PgLsx9zIU5BiSOjFoM">what4</code> versions up to 1.5.1, and replaces several functions in <code class="gmail-_34q3PgLsx9zIU5BiSOjFoM">copilot-core</code>. The second change is a breaking change: the functions replaced have been deprecated and new alternatives introduced instead.</p><p class="gmail-_1qeIAgB0cPwnLhDF9XSiJM">As always, we're releasing exactly 2 months since the last release. Our next release is scheduled for Jan 7th, 2024.</p><p class="gmail-_1qeIAgB0cPwnLhDF9XSiJM">In
 our last announcement, we mentioned that Copilot has received full 
approval for release as NASA Class D open-source software. Current 
emphasis is on increasing test coverage for the two remaining libraries 
without tests (<code class="gmail-_34q3PgLsx9zIU5BiSOjFoM">copilot-libraries</code> and <code class="gmail-_34q3PgLsx9zIU5BiSOjFoM">copilot-theorem</code>),
 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 [3].</p><p class="gmail-_1qeIAgB0cPwnLhDF9XSiJM">There have been 
many updates on the Copilot front in the last few months. We'll be able 
to announce more soon. Stay tuned. Happy Haskelling!</p><p class="gmail-_1qeIAgB0cPwnLhDF9XSiJM">Ivan</p><p class="gmail-_1qeIAgB0cPwnLhDF9XSiJM">[1] <a href="https://github.com/nasa/ogma" class="gmail-_3t5uN8xUmg0TOwRCOGQEcU" rel="noopener nofollow ugc" target="_blank">https://github.com/nasa/ogma</a></p><p class="gmail-_1qeIAgB0cPwnLhDF9XSiJM">[2] <a href="https://github.com/Copilot-Language/copilot/releases/tag/v3.17" class="gmail-_3t5uN8xUmg0TOwRCOGQEcU" rel="noopener nofollow ugc" target="_blank">https://github.com/Copilot-Language/copilot/releases/tag/v3.17</a></p><p class="gmail-_1qeIAgB0cPwnLhDF9XSiJM">[3] <a href="https://github.com/Copilot-Language/copilot" class="gmail-_3t5uN8xUmg0TOwRCOGQEcU" rel="noopener nofollow ugc" target="_blank">https://github.com/Copilot-Language/copilot</a></p><p class="gmail-_1qeIAgB0cPwnLhDF9XSiJM">[4] <a href="https://hackage.haskell.org/package/copilot" class="gmail-_3t5uN8xUmg0TOwRCOGQEcU" rel="noopener nofollow ugc" target="_blank">https://hackage.haskell.org/package/copilot</a></p></div>