<div dir="ltr"><div dir="ltr"><div><div><div><span><span>Dear all,</span></span></div><div><span><span><br></span></span></div></div><div><div><span><span>I'm very excited to announce Copilot 3.13.</span></span></div><div><span><span><br></span></span></div><div><span><span>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 
algorithms.</span></span></div><div><span><span><br></span></span></div></div><div><div><span><span>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 (</span></span><span><a href="https://github.com/NASA-SW-VnV/fret/" target="_blank"><span><span>https://github.com/NASA-SW-VnV/fret/</span></span></a></span><span><span>), via Ogma (</span></span><span><a href="https://github.com/nasa/ogma" target="_blank"><span><span>https://github.com/nasa/ogma</span></span></a></span><span><span>).</span></span></div></div><div><div><span><br></span></div></div><span></span><div><div><span><span>This release fixes 4 bugs in <span style="font-family:Noto Mono,Menlo,Monaco,Consolas,monospace;padding:0.1em 0.2em;font-size:0.8em;border-radius:3px"><span><font size="2">copilot-core</font><font face="arial,sans-serif"><font size="2"> and <span><span> <span style="font-family:Noto Mono,Menlo,Monaco,Consolas,monospace;padding:0.1em 0.2em;border-radius:3px"><span>copilot-c99.<span style="font-family:arial,sans-serif"> We have also removed 2 deprecated modules and one dependency.<span><span> The new release has been published on hackage, as well as github.</span></span></span></span></span></span></span></font></font></span></span></span></span></div></div><div><div><span><span><br></span></span></div><div><span><span>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 (</span></span><span><a href="https://github.com/copilot-language/copilot" target="_blank"><span><span>https://github.com/copilot-language/copilot</span></span></a></span><span><span>).</span></span></div><div><span><span><br></span></span></div></div><div><div><span><span>I'd also like to take this opportunity to announce that </span></span><span style="font-style:italic"><span>Copilot is now being made available on<span style="font-style:italic"><span> Ubuntu Lunar 23.04 and </span></span>Debian Bookworm.</span></span><span><span> We would like to </span></span><span style="font-style:italic"><span>thank the Debian Haskell Group and, most especially, Scott Talbert</span></span><span><span>,
 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.</span></span></div><div><span><span><br></span></span></div></div><div><div><span><span>Happy Haskelling,</span></span></div><div><span><span><br></span></span></div></div><div><div><span><span>The Copilot team</span></span></div></div></div></div></div>