Wed, 20 Dec 2017 23:42:28 +0100 |
Pierre-Yves David |
stablesort: remove some dead code
|
Wed, 20 Dec 2017 23:08:31 +0100 |
Pierre-Yves David |
stablesort: abstract all cache access
|
Mon, 18 Dec 2017 20:04:50 +0100 |
Pierre-Yves David |
stablerange: use first merge cache to skip over linear section
|
Wed, 20 Dec 2017 20:46:10 +0100 |
Pierre-Yves David |
stablerange: add a new 'firstmerge' cache
|
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
|