Stablesort 1.0.2 (ICFP'25)

This release reflects the contents of the paper:

• Cyril Cohen and Kazuhiko Sakaguchi. A bargain for mergesorts — How to prove your mergesort correct and stable, almost for free. Proc. ACM Program. Lang. 9, ICFP, Article 236 (August 2025). [arXiv, doi]

It is compatible with Rocq/Coq 8.19 to 9.0, MathComp 2.3.0 to 2.4.0, and Paramcoq 1.1.3.

Stablesort 1.0.1

This release is compatible with Rocq/Coq 8.19 to 9.0, MathComp 1.19.0 and 2.2.0 to 2.4.0, and Paramcoq 1.1.3.

The only change from version 1.0.0 is to avoid the Restart command, which does not work in VsRocq at the moment.

Stablesort 1.0.0

This release is compatible with Rocq/Coq 8.19 to 9.0, MathComp 1.19.0 and 2.2.0 to 2.4.0, and Paramcoq 1.1.3.

Stablesort 0.9.0

This is the first release of the Stablesort library: stable sort algorithms in Rocq. The main purpose of the release is to provide compatibility with a wide range of Rocq/Coq and MathComp, before dropping the support for Coq <= 8.18. It is compatible with Rocq/Coq 8.13 to 9.0, MathComp 1.13 to 2.4, and Paramcoq 1.1.3.