Fri, 24 Mar 2017 09:18:50 +0100 |
Pierre-Yves David |
subranges: add a utility function to access the cache
|
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
|