Sat, 25 Nov 2017 02:58:47 -0500 | Pierre-Yves David | stablesort: rename function to stablesort_branchpoint | changeset | files |
Sat, 09 Dec 2017 17:14:53 +0100 | Pierre-Yves David | stablerange: update the filename to avoid cache confusion | changeset | files |
Thu, 23 Nov 2017 16:34:50 +0100 | Pierre-Yves David | stablesort: extract in its own module | changeset | files |