Mon, 18 Dec 2017 07:10:43 +0100 |
Pierre-Yves David |
stablesort: use the filtered parents utility
|
Mon, 18 Dec 2017 06:50:57 +0100 |
Pierre-Yves David |
depthcache: use parents filter in depth cache
|
Mon, 18 Dec 2017 06:48:49 +0100 |
Pierre-Yves David |
parents: add a utility to filter parents
|
Mon, 18 Dec 2017 01:53:20 +0100 |
Pierre-Yves David |
stablerange: abstract the bit able to store cache into sql
|
Mon, 18 Dec 2017 00:40:07 +0100 |
Pierre-Yves David |
stablerange: split pure algorithm part from the on disk cache
|
Sun, 10 Dec 2017 05:17:04 +0100 |
Pierre-Yves David |
stablerange: add an assert to detect buggy range
|
Sun, 10 Dec 2017 04:57:19 +0100 |
Pierre-Yves David |
stablerange: warn cache for all relevant ancestors range
|