| Wed, 20 Dec 2017 16:20:26 +0100 | Pierre-Yves David | stablesort: use 'depth' in mergepoint tie breaker | changeset | files |
| Wed, 20 Dec 2017 13:41:33 +0100 | Pierre-Yves David | stablesort: rework jump gathering | changeset | files |
| Wed, 20 Dec 2017 12:36:45 +0100 | Pierre-Yves David | stablesort: stop recording jump type | changeset | files |
| Wed, 20 Dec 2017 12:29:02 +0100 | Pierre-Yves David | stablesort: pass a jump recording function instead of a list | changeset | files |
| Wed, 20 Dec 2017 12:27:17 +0100 | Pierre-Yves David | stablesort: minor indent fix | changeset | files |
| Wed, 20 Dec 2017 12:19:59 +0100 | Pierre-Yves David | stablesort: clarify subcall to the exclusive side | changeset | files |
| Wed, 20 Dec 2017 13:18:49 +0100 | Pierre-Yves David | docgraph: update test output with new output | changeset | files |