Sun, 10 Dec 2017 03:39:56 +0100 |
Pierre-Yves David |
stablesort: use a regular dict for jumps
|
Wed, 20 Dec 2017 15:51:05 +0100 |
Pierre-Yves David |
stablerange: use the jump information for faster iteration
|
Sun, 10 Dec 2017 02:46:05 +0100 |
Pierre-Yves David |
stablesort: expose the jumps sequence to other code
|
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
|
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
|
Sun, 10 Dec 2017 04:48:15 +0100 |
Pierre-Yves David |
stablesort: move parent range computation into its own method
|
Sun, 10 Dec 2017 03:58:22 +0100 |
Pierre-Yves David |
stablerange: drop the basic inheritance from the 'mergepoint' version
|
Sun, 10 Dec 2017 12:12:12 +0100 |
Pierre-Yves David |
stablerange: cache known subrange at the stablerangecached level
|