chiark / gitweb /
wip merge
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 2 Mar 2012 16:13:23 +0000 (16:13 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 2 Mar 2012 16:13:23 +0000 (16:13 +0000)
article.tex

index a650f36..32f7920 100644 (file)
@@ -316,4 +316,25 @@ $\qed$
 If $D = C$, trivial.  For $D \neq C$:
 $D \isin C \equiv D \isin A \equiv D \le A \equiv D \le C$.  $\qed$
 
+\section{Merge}
+
+Given commits $L$, $R$, $M$:
+\gathbegin
+ C \hasparents \{ L, R \}
+\gathnext
+ \patchof{C} = \patchof{L}
+\gathnext
+ D \isin C \equiv
+  \begin{cases}
+    (D \isin L \land D \isin R) \lor D = C : & \true \\
+    (D \not\isin L \land D \not\isin R) \land D \neq C : & \false \\
+    \text{otherwise} : & D \not\isin M
+  \end{cases}
+\end{gather}
+
+Conditions
+\gathbegin
+ M < L, M < R
+\end{gather}
+
 \end{document}