Wed, 20 Dec 2017 17:59:14 +0100 | Pierre-Yves David | stablesort: move jump recording inside the exclusive function | changeset | files |
Wed, 20 Dec 2017 17:49:41 +0100 | Pierre-Yves David | stablerange: compute jump size after jump retrieval only | changeset | files |
Sun, 10 Dec 2017 03:49:48 +0100 | Pierre-Yves David | stablesort: warm jump cache more efficiently | changeset | files |
Sun, 10 Dec 2017 03:39:56 +0100 | Pierre-Yves David | stablesort: use a regular dict for jumps | changeset | files |
Wed, 20 Dec 2017 15:51:05 +0100 | Pierre-Yves David | stablerange: use the jump information for faster iteration | changeset | files |
Sun, 10 Dec 2017 02:46:05 +0100 | Pierre-Yves David | stablesort: expose the jumps sequence to other code | changeset | files |
Wed, 20 Dec 2017 16:20:26 +0100 | Pierre-Yves David | stablesort: use 'depth' in mergepoint tie breaker | changeset | files |