[ANN] Copilot 4.4

[ivanperez-keera]

Hi everyone!!

We are really excited to announce Copilot 4.4.

This release introduces several updates, bug fixes and improvements to Copilot:

• The Kind2 backend is now able to distinguish between existentially and universally quantified properties.

• The fields of the existential record type Copilot.Core.Type.UType have now been removed.

• The build status icon in the README has now been corrected to show the current build status.

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 Ryan Scott (Galois, @RyanGlScott) and Kyle Beechly (@kaBeech), both regular contributors to Copilot. 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.4.

As always, we're releasing exactly 2 months since the last release. Our next release is scheduled for July 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), merging stable features into the mainline, improving usability, performance, and stability, increasing test coverage, removing unnecessary dependencies, hiding internal definitions, formatting the code to meet our new coding standards, and simplifying the Copilot interface. Users are encouraged to participate by opening issues, asking questions, extending the implementation, and sending bug fixes.

Happy Haskelling!

Full Changelog: v4.3...v4.4