[ANN] Copilot 4.5.1

[ivanperez-keera]

Hi everyone!!

We are really excited to announce Copilot 4.5.1.

The major improvements in this release are:

• Copilot now includes a tutorial showing how to generate code for FPGA and run it (thanks to Sukhman Kahlon!).

• Compatibility with newer versions of dependencies has been extended.

• Cleaning efforts in copilot-theorem.

The new implementation is compatible with versions of GHC from 8.6 to 9.12.

This release has been made possible thanks to key submissions from Sukhman Kahlon (NASA). We are grateful to her for her contributions, and for making Copilot better every day.

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

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

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!

New Contributors

• @sukhmankkahlon made their first contribution in copilot: Add hello world example for FPGA. Refs #657. #658

Full Changelog: v4.5...v4.5.1

---

This discussion was created from the release v4.5.1.