[ANN] Copilot 4.7.1

[ivanperez-keera]

Hi everyone!!

We are really excited to announce Copilot 4.7.1.

This release improves the Bluespec backend and copilot-theorem, fixing corner cases related to the use of realToFrac. The release also fixes errors in examples in copilot-theorem. The package copilot-libraries now adds two additional modules: one to analyze streams, and one to implement state machines. We expect those modules to grow in the future.

Copilot is compatible with versions of GHC from 8.6 to 9.12.

This release has been made possible thanks to Ryan Scott (Galois) and Chris Hathhorn (Galois). We are grateful to all of them for their contributions, and for making Copilot better every day.

For details on this release, see: https://github.com/Copilot-Language/copilot/releases/tag/v4.7.1 .

As always, we're releasing exactly 2 months since the last release. Our next release is scheduled for July 7th, 2026.

We want to remind the community that Copilot is now accepting code contributions from external participants again. Please see the discussions and the issues to learn how to participate.

Current emphasis is on using Copilot for full data processing applications (e.g, system control, arduinos, rovers, drones), improving usability, performance, and stability, increasing test coverage, removing unnecessary dependencies, hiding internal definitions, and formatting the code to meet our coding standards. Users are encouraged to participate by opening issues, asking questions, extending the implementation, and sending bug fixes.

Happy Haskelling!

---

This discussion was created from the release v4.7.1.