| Wed, 20 Dec 2017 16:20:26 +0100 |
Pierre-Yves David |
stablesort: use 'depth' in mergepoint tie breaker
|
| Wed, 20 Dec 2017 13:41:33 +0100 |
Pierre-Yves David |
stablesort: rework jump gathering
|
| Wed, 20 Dec 2017 12:36:45 +0100 |
Pierre-Yves David |
stablesort: stop recording jump type
|
| Wed, 20 Dec 2017 12:29:02 +0100 |
Pierre-Yves David |
stablesort: pass a jump recording function instead of a list
|
| Wed, 20 Dec 2017 12:27:17 +0100 |
Pierre-Yves David |
stablesort: minor indent fix
|
| Wed, 20 Dec 2017 12:19:59 +0100 |
Pierre-Yves David |
stablesort: clarify subcall to the exclusive side
|
| Wed, 20 Dec 2017 13:18:49 +0100 |
Pierre-Yves David |
docgraph: update test output with new output
|
| Mon, 18 Dec 2017 09:04:16 +0100 |
Pierre-Yves David |
stablesort: record, cache and reuse jump
|
| Mon, 18 Dec 2017 18:49:34 +0100 |
Pierre-Yves David |
stablesort: fix head start computation
|
| Mon, 18 Dec 2017 08:36:52 +0100 |
Pierre-Yves David |
stablesort: avoid attempting to sort a tuple
|
| Mon, 18 Dec 2017 07:20:14 +0100 |
Pierre-Yves David |
stablerange: use the filterparents utility
|
| 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
|
