chiark / gitweb /
 author Ian Jackson Wed, 25 Apr 2012 21:14:11 +0000 (22:14 +0100) committer Ian Jackson Wed, 25 Apr 2012 21:14:11 +0000 (22:14 +0100)
 strategy.tex patch | blob | history

index ca31c32..3760941 100644 (file)
@@ -8,6 +8,7 @@ We start with some commits \$S_0 \ldots S_n\$
Invoke Plan \$\patchof \pl\$ where the algorithm Plan \$\pc\$ is as
follows:

+
Notation:

\$\pc \succ_1 \{ \p, \pq \ldots \}\$
@@ -18,6 +19,7 @@ Notation:

\$\py \succ \pq\$

+
We intend to merge all \$\set E_{\pc} = \{ E_{\pc,j \ldots} \}\$
and all the direct contributors of \$\pc\$ (as determined below)
into the existing git ref for \$\pc\$, to make \$T_{\pc}\$.
@@ -39,7 +41,7 @@ Initially let \$T_{\pc,0}\$ be the git ref for \$\pcn\$.  And let
\$\set D_0 = \depsreqof{T_{\pc,0}}\$.
For each \$E_j\$ starting with \$j=1\$ choose a corresponding intended
merge base \$M_j\$ such that \$M_j \le E_j \land M_j \le T_{\pc,j-1}\$.
-Calculate \$D_j\$ as the 3-way merge of the sets \$D_{j-1}\$ and
+Calculate \$\set D_j\$ as the 3-way merge of the sets \$\set D_{j-1}\$ and
\$\depsreqof{E_j}\$ using as a base \$\depsreqof{M_j}\$.  This will
generate \$D_m\$ as the putative direct contributors for \$\pcn\$.