| Wed, 20 Dec 2017 17:56:38 +0100 |
Pierre-Yves David |
stablesort: record previous segment size in the jump
|
| Wed, 20 Dec 2017 17:59:14 +0100 |
Pierre-Yves David |
stablesort: move jump recording inside the exclusive function
|
| Wed, 20 Dec 2017 17:49:41 +0100 |
Pierre-Yves David |
stablerange: compute jump size after jump retrieval only
|
| Sun, 10 Dec 2017 03:49:48 +0100 |
Pierre-Yves David |
stablesort: warm jump cache more efficiently
|
| 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
|
| Sun, 17 Dec 2017 22:05:34 +0100 |
Pierre-Yves David |
stablerange: use sort cache to build 'mergepoint' information
|
| Sun, 10 Dec 2017 03:31:28 +0100 |
Pierre-Yves David |
stablesort: make the iteration from head available to all
|
