Fri, 24 Mar 2017 09:01:25 +0100 | Pierre-Yves David | depth: add a utility function to access the cache | changeset | files |
Fri, 24 Mar 2017 03:20:29 +0100 | Pierre-Yves David | stablerange: add warming of the subrange | changeset | files |
Fri, 24 Mar 2017 11:04:38 +0100 | Pierre-Yves David | stablerange: fix merge slicing when range has multiple roots | changeset | files |
Fri, 24 Mar 2017 09:04:34 +0100 | Pierre-Yves David | stablerange: small style fix | changeset | files |
Fri, 24 Mar 2017 08:16:00 +0100 | Pierre-Yves David | merge-slicing: introduce and use "inheritance point" for merge | changeset | files |
Fri, 24 Mar 2017 08:31:10 +0100 | Pierre-Yves David | stablerange: rearrange the code picking subrange to warm | changeset | files |