stablesort - Stablesort 1.0.2

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.

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

- Rocq Prover
Published by pi8027 8 months ago

stablesort - Stablesort 1.0.1

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.

It 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.

- Rocq Prover
Published by pi8027 8 months ago

stablesort - 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.

- Rocq Prover
Published by pi8027 8 months ago

stablesort - 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.

- Rocq Prover
Published by pi8027 9 months ago