| Fri, 24 Mar 2017 09:15:18 +0100 |
Pierre-Yves David |
depth: add a utility function to set the cache
|
| Fri, 24 Mar 2017 09:01:25 +0100 |
Pierre-Yves David |
depth: add a utility function to access the cache
|
| Fri, 24 Mar 2017 03:20:29 +0100 |
Pierre-Yves David |
stablerange: add warming of the subrange
|
| Fri, 24 Mar 2017 11:04:38 +0100 |
Pierre-Yves David |
stablerange: fix merge slicing when range has multiple roots
|
| Fri, 24 Mar 2017 09:04:34 +0100 |
Pierre-Yves David |
stablerange: small style fix
|
| Fri, 24 Mar 2017 08:16:00 +0100 |
Pierre-Yves David |
merge-slicing: introduce and use "inheritance point" for merge
|
| Fri, 24 Mar 2017 08:31:10 +0100 |
Pierre-Yves David |
stablerange: rearrange the code picking subrange to warm
|
| Fri, 24 Mar 2017 08:20:36 +0100 |
Pierre-Yves David |
stablerange: rearrange the reusing logic to prepare to merge
|
| Fri, 24 Mar 2017 06:24:02 +0100 |
Pierre-Yves David |
merge-slicing: explain an alternative implementation in a comments
|
| Fri, 24 Mar 2017 06:36:12 +0100 |
Pierre-Yves David |
merge-slicing: use reachable roots to filter the various branches
|
| Fri, 24 Mar 2017 05:51:20 +0100 |
Pierre-Yves David |
merge-slicing: simplify various aspect of the code
|
| 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
|
