log

age author description
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