Wed, 20 Dec 2017 17:56:38 +0100 | Pierre-Yves David | stablesort: record previous segment size in the jump | changeset | files |
Wed, 20 Dec 2017 17:59:14 +0100 | Pierre-Yves David | stablesort: move jump recording inside the exclusive function | changeset | files |