strategy: traversal, Tip-Merge, from base, Tip Merge & Merge Acyclic

[topbloke-formulae.git] / strategy.tex

diff --git a/strategy.tex b/strategy.tex
index 253ffc31fb1340fbd8dff16516d6caa0f8b33262..a4716b313dd577c5e74c6e1a7afe4f39ba8be082 100644 (file)
--- a/strategy.tex
+++ b/strategy.tex
@@ -124,17 +124,3 @@ The set of reachable commits at the point where we have just generated
 $\tippy$, i.e. just after $\alg{Merge-Tip}(\p)$.
 
 \end{basedescript}
-
-\stdsection{ WIP tip satisfaction, reachable commits }
-
-We preserve/ensure
-$$ \tippy >= \pendsof{\allreach_{\py}}{\py} $$
-($\tippy$ is computed during traversal for the patch $\p$)
-
-We ensure this property by:
-  - we do not generate any commits for py other than
-    during Merge-Tip
-  - so at the start of Merge-Tip pendsof (O, py) = pendsof (U, py)
-  - Merge-Tip itself wip wip wip
-
-