| Wed, 20 Dec 2017 20:17:11 +0100 |
Pierre-Yves David |
stablerange: drop unused `until` utility
|
| Wed, 20 Dec 2017 19:47:19 +0100 |
Pierre-Yves David |
stablerange: use cached size data instead of walking the graph
|
| Wed, 20 Dec 2017 17:56:38 +0100 |
Pierre-Yves David |
stablesort: record previous segment size in the jump
|
| Wed, 20 Dec 2017 17:59:14 +0100 |
Pierre-Yves David |
stablesort: move jump recording inside the exclusive function
|
| Wed, 20 Dec 2017 17:49:41 +0100 |
Pierre-Yves David |
stablerange: compute jump size after jump retrieval only
|
| Sun, 10 Dec 2017 03:49:48 +0100 |
Pierre-Yves David |
stablesort: warm jump cache more efficiently
|
| Sun, 10 Dec 2017 03:39:56 +0100 |
Pierre-Yves David |
stablesort: use a regular dict for jumps
|
| Wed, 20 Dec 2017 15:51:05 +0100 |
Pierre-Yves David |
stablerange: use the jump information for faster iteration
|
| Sun, 10 Dec 2017 02:46:05 +0100 |
Pierre-Yves David |
stablesort: expose the jumps sequence to other code
|
| Wed, 20 Dec 2017 16:20:26 +0100 |
Pierre-Yves David |
stablesort: use 'depth' in mergepoint tie breaker
|
| Wed, 20 Dec 2017 13:41:33 +0100 |
Pierre-Yves David |
stablesort: rework jump gathering
|
| Wed, 20 Dec 2017 12:36:45 +0100 |
Pierre-Yves David |
stablesort: stop recording jump type
|
| Wed, 20 Dec 2017 12:29:02 +0100 |
Pierre-Yves David |
stablesort: pass a jump recording function instead of a list
|
| Wed, 20 Dec 2017 12:27:17 +0100 |
Pierre-Yves David |
stablesort: minor indent fix
|
| Wed, 20 Dec 2017 12:19:59 +0100 |
Pierre-Yves David |
stablesort: clarify subcall to the exclusive side
|
