Thu, 23 Mar 2017 14:17:15 +0100 |
Pierre-Yves David |
stablerange: soon it will not provide any benefit and it gets in the way
|
Fri, 24 Mar 2017 06:31:32 +0100 |
Pierre-Yves David |
revsfromrange: reuse information from the stablesort
|
Fri, 24 Mar 2017 03:22:56 +0100 |
Pierre-Yves David |
stablesort: allow a callback to be triggered on merge
|
Fri, 24 Mar 2017 03:33:36 +0100 |
Pierre-Yves David |
minor simplification around rangelength
|
Fri, 24 Mar 2017 03:30:14 +0100 |
Pierre-Yves David |
more explicite name in revsfromrange
|
Fri, 24 Mar 2017 05:15:25 +0100 |
Pierre-Yves David |
stablerange: cache parents
|
Thu, 23 Mar 2017 12:53:39 +0100 |
Pierre-Yves David |
merge-slicing: avoid doing the same work twice
|