Re: How to extend a patch theory to fully commute

On Wed, 1 Jul 2020 at 09:44, Ben Franksen <[email protected]> wrote:
> Am 01.07.20 um 05:09 schrieb James Cook:
> > Example: Suppose a is the starting context (empty repository), Q1
> > creates the file "foo" starting from a, Q2 creates the file "bar"
> > starting from there, and b and c are the contexts after P1 and then P2.
> > The address (a, c, [Q1, Q2], {}, {1, 2}) points to a,
> > (a, c, [P1, P2], {1}, {2}) points to b, and (a, c, [P1, P2], {2}, {1})
> > points to the new context you'd get if you applied just Q2 (the
> > repository has "bar" but not "foo").
>
> Did you mix up the Qs and Ps here? Or did you means that the Ps are the
> result of commuting the Qs? A clarification would help me understand
> this better.

I mixed up the Ps and Qs; they should all be Qs.

I started maintaining an updated version at
https://hub.darcs.net/falsifian/misc-pub/browse/misc/hms_patchfinder

James