[ANN] Copilot 4.5

[ivanperez-keera]

Hi everyone!!

We are really excited to announce Copilot 4.5.

The major improvements in this release are:

• The bluespec, verifier and visualizer are now included in the main repo directly.

• copilot-core has been cleaned a bit by removing deprecated fields.

• copilot-theorem has been cleaned, by removing unnecessary pragmas.

• Some version bounds have been relaxed.

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 Corey Carter (NASA) and Ryan Scott (Galois). We are grateful to 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.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

• @carte731 made their first contribution in copilot-theorem: Remove unused pragmas. Refs #613. #638

Full Changelog: v4.4...v4.5

---

This discussion was created from the release v4.5.