tccc => c4

hengxin · Jul 23, 2024 · 2d6e1b4 · 2d6e1b4
1 parent 0252f56
commit 2d6e1b4
Show file tree

Hide file tree

Showing 106 changed files with 16 additions and 10 deletions.
diff --git a/examples/paper-tccc/.DS_Store → examples/paper-c4/.DS_Store b/examples/paper-tccc/.DS_Store → examples/paper-c4/.DS_Store
diff --git a/examples/paper-tccc/README.md → examples/paper-c4/README.md b/examples/paper-tccc/README.md → examples/paper-c4/README.md
diff --git a/...s/paper-tccc/bp-ex/bp-ex-bpconflictcm.pdf → ...les/paper-c4/bp-ex/bp-ex-bpconflictcm.pdf b/...s/paper-tccc/bp-ex/bp-ex-bpconflictcm.pdf → ...les/paper-c4/bp-ex/bp-ex-bpconflictcm.pdf
diff --git a/...s/paper-tccc/bp-ex/bp-ex-bpconflictcm.tex → ...les/paper-c4/bp-ex/bp-ex-bpconflictcm.tex b/...s/paper-tccc/bp-ex/bp-ex-bpconflictcm.tex → ...les/paper-c4/bp-ex/bp-ex-bpconflictcm.tex
diff --git a/...ex/bp-ex-bpfracturedreadco-conflictcm.pdf → ...ex/bp-ex-bpfracturedreadco-conflictcm.pdf b/...ex/bp-ex-bpfracturedreadco-conflictcm.pdf → ...ex/bp-ex-bpfracturedreadco-conflictcm.pdf
diff --git a/...ex/bp-ex-bpfracturedreadco-conflictcm.tex → ...ex/bp-ex-bpfracturedreadco-conflictcm.tex b/...ex/bp-ex-bpfracturedreadco-conflictcm.tex → ...ex/bp-ex-bpfracturedreadco-conflictcm.tex
diff --git a/...er-tccc/bp-ex/bp-ex-bpfracturedreadco.pdf → ...aper-c4/bp-ex/bp-ex-bpfracturedreadco.pdf b/...er-tccc/bp-ex/bp-ex-bpfracturedreadco.pdf → ...aper-c4/bp-ex/bp-ex-bpfracturedreadco.pdf
diff --git a/...er-tccc/bp-ex/bp-ex-bpfracturedreadco.tex → ...aper-c4/bp-ex/bp-ex-bpfracturedreadco.tex b/...er-tccc/bp-ex/bp-ex-bpfracturedreadco.tex → ...aper-c4/bp-ex/bp-ex-bpfracturedreadco.tex
diff --git a/examples/paper-tccc/bp-ex/bp-ex-cm-t4-t2.pdf → examples/paper-c4/bp-ex/bp-ex-cm-t4-t2.pdf b/examples/paper-tccc/bp-ex/bp-ex-cm-t4-t2.pdf → examples/paper-c4/bp-ex/bp-ex-cm-t4-t2.pdf
diff --git a/examples/paper-tccc/bp-ex/bp-ex-cm-t4-t2.tex → examples/paper-c4/bp-ex/bp-ex-cm-t4-t2.tex b/examples/paper-tccc/bp-ex/bp-ex-cm-t4-t2.tex → examples/paper-c4/bp-ex/bp-ex-cm-t4-t2.tex
diff --git a/...es/paper-tccc/bp/bp-aborted-read-dots.pdf → ...ples/paper-c4/bp/bp-aborted-read-dots.pdf b/...es/paper-tccc/bp/bp-aborted-read-dots.pdf → ...ples/paper-c4/bp/bp-aborted-read-dots.pdf
diff --git a/...es/paper-tccc/bp/bp-aborted-read-dots.tex → ...ples/paper-c4/bp/bp-aborted-read-dots.tex b/...es/paper-tccc/bp/bp-aborted-read-dots.tex → ...ples/paper-c4/bp/bp-aborted-read-dots.tex
diff --git a/examples/paper-tccc/bp/bp-aborted-read.pdf → examples/paper-c4/bp/bp-aborted-read.pdf b/examples/paper-tccc/bp/bp-aborted-read.pdf → examples/paper-c4/bp/bp-aborted-read.pdf
diff --git a/examples/paper-tccc/bp/bp-aborted-read.tex → examples/paper-c4/bp/bp-aborted-read.tex b/examples/paper-tccc/bp/bp-aborted-read.tex → examples/paper-c4/bp/bp-aborted-read.tex
diff --git a/.../paper-tccc/bp/bp-co-conflict-ao-dots.pdf → ...es/paper-c4/bp/bp-co-conflict-ao-dots.pdf b/.../paper-tccc/bp/bp-co-conflict-ao-dots.pdf → ...es/paper-c4/bp/bp-co-conflict-ao-dots.pdf
diff --git a/.../paper-tccc/bp/bp-co-conflict-ao-dots.tex → ...es/paper-c4/bp/bp-co-conflict-ao-dots.tex b/.../paper-tccc/bp/bp-co-conflict-ao-dots.tex → ...es/paper-c4/bp/bp-co-conflict-ao-dots.tex
diff --git a/examples/paper-tccc/bp/bp-co-conflict-ao.pdf → examples/paper-c4/bp/bp-co-conflict-ao.pdf b/examples/paper-tccc/bp/bp-co-conflict-ao.pdf → examples/paper-c4/bp/bp-co-conflict-ao.pdf
diff --git a/examples/paper-tccc/bp/bp-co-conflict-ao.tex → examples/paper-c4/bp/bp-co-conflict-ao.tex b/examples/paper-tccc/bp/bp-co-conflict-ao.tex → examples/paper-c4/bp/bp-co-conflict-ao.tex
diff --git a/...les/paper-tccc/bp/bp-conflict-ao-dots.pdf → examples/paper-c4/bp/bp-conflict-ao-dots.pdf b/...les/paper-tccc/bp/bp-conflict-ao-dots.pdf → examples/paper-c4/bp/bp-conflict-ao-dots.pdf
diff --git a/...les/paper-tccc/bp/bp-conflict-ao-dots.tex → examples/paper-c4/bp/bp-conflict-ao-dots.tex b/...les/paper-tccc/bp/bp-conflict-ao-dots.tex → examples/paper-c4/bp/bp-conflict-ao-dots.tex
diff --git a/examples/paper-tccc/bp/bp-conflict-ao.pdf → examples/paper-c4/bp/bp-conflict-ao.pdf b/examples/paper-tccc/bp/bp-conflict-ao.pdf → examples/paper-c4/bp/bp-conflict-ao.pdf
diff --git a/examples/paper-tccc/bp/bp-conflict-ao.tex → examples/paper-c4/bp/bp-conflict-ao.tex b/examples/paper-tccc/bp/bp-conflict-ao.tex → examples/paper-c4/bp/bp-conflict-ao.tex
diff --git a/examples/paper-tccc/bp/bp-cyclic-co.pdf → examples/paper-c4/bp/bp-cyclic-co.pdf b/examples/paper-tccc/bp/bp-cyclic-co.pdf → examples/paper-c4/bp/bp-cyclic-co.pdf
diff --git a/examples/paper-tccc/bp/bp-cyclic-co.tex → examples/paper-c4/bp/bp-cyclic-co.tex b/examples/paper-tccc/bp/bp-cyclic-co.tex → examples/paper-c4/bp/bp-cyclic-co.tex
diff --git a/...per-tccc/bp/bp-fractured-read-ao-dots.pdf → ...paper-c4/bp/bp-fractured-read-ao-dots.pdf b/...per-tccc/bp/bp-fractured-read-ao-dots.pdf → ...paper-c4/bp/bp-fractured-read-ao-dots.pdf
diff --git a/...per-tccc/bp/bp-fractured-read-ao-dots.tex → ...paper-c4/bp/bp-fractured-read-ao-dots.tex b/...per-tccc/bp/bp-fractured-read-ao-dots.tex → ...paper-c4/bp/bp-fractured-read-ao-dots.tex
diff --git a/...es/paper-tccc/bp/bp-fractured-read-ao.pdf → ...ples/paper-c4/bp/bp-fractured-read-ao.pdf b/...es/paper-tccc/bp/bp-fractured-read-ao.pdf → ...ples/paper-c4/bp/bp-fractured-read-ao.pdf
diff --git a/...es/paper-tccc/bp/bp-fractured-read-ao.tex → ...ples/paper-c4/bp/bp-fractured-read-ao.tex b/...es/paper-tccc/bp/bp-fractured-read-ao.tex → ...ples/paper-c4/bp/bp-fractured-read-ao.tex
diff --git a/...per-tccc/bp/bp-fractured-read-co-dots.pdf → ...paper-c4/bp/bp-fractured-read-co-dots.pdf b/...per-tccc/bp/bp-fractured-read-co-dots.pdf → ...paper-c4/bp/bp-fractured-read-co-dots.pdf
diff --git a/...per-tccc/bp/bp-fractured-read-co-dots.tex → ...paper-c4/bp/bp-fractured-read-co-dots.tex b/...per-tccc/bp/bp-fractured-read-co-dots.tex → ...paper-c4/bp/bp-fractured-read-co-dots.tex
diff --git a/...es/paper-tccc/bp/bp-fractured-read-co.pdf → ...ples/paper-c4/bp/bp-fractured-read-co.pdf b/...es/paper-tccc/bp/bp-fractured-read-co.pdf → ...ples/paper-c4/bp/bp-fractured-read-co.pdf
diff --git a/...es/paper-tccc/bp/bp-fractured-read-co.tex → ...ples/paper-c4/bp/bp-fractured-read-co.tex b/...es/paper-tccc/bp/bp-fractured-read-co.tex → ...ples/paper-c4/bp/bp-fractured-read-co.tex
diff --git a/...les/paper-tccc/bp/bp-future-read-dots.pdf → examples/paper-c4/bp/bp-future-read-dots.pdf b/...les/paper-tccc/bp/bp-future-read-dots.pdf → examples/paper-c4/bp/bp-future-read-dots.pdf
diff --git a/...les/paper-tccc/bp/bp-future-read-dots.tex → examples/paper-c4/bp/bp-future-read-dots.tex b/...les/paper-tccc/bp/bp-future-read-dots.tex → examples/paper-c4/bp/bp-future-read-dots.tex
diff --git a/examples/paper-tccc/bp/bp-future-read.pdf → examples/paper-c4/bp/bp-future-read.pdf b/examples/paper-tccc/bp/bp-future-read.pdf → examples/paper-c4/bp/bp-future-read.pdf
diff --git a/examples/paper-tccc/bp/bp-future-read.tex → examples/paper-c4/bp/bp-future-read.tex b/examples/paper-tccc/bp/bp-future-read.tex → examples/paper-c4/bp/bp-future-read.tex
diff --git a/...es/paper-tccc/bp/bp-init-read-co-dots.pdf → ...ples/paper-c4/bp/bp-init-read-co-dots.pdf b/...es/paper-tccc/bp/bp-init-read-co-dots.pdf → ...ples/paper-c4/bp/bp-init-read-co-dots.pdf
diff --git a/...es/paper-tccc/bp/bp-init-read-co-dots.tex → ...ples/paper-c4/bp/bp-init-read-co-dots.tex b/...es/paper-tccc/bp/bp-init-read-co-dots.tex → ...ples/paper-c4/bp/bp-init-read-co-dots.tex
diff --git a/examples/paper-tccc/bp/bp-init-read-co.pdf → examples/paper-c4/bp/bp-init-read-co.pdf b/examples/paper-tccc/bp/bp-init-read-co.pdf → examples/paper-c4/bp/bp-init-read-co.pdf
diff --git a/examples/paper-tccc/bp/bp-init-read-co.tex → examples/paper-c4/bp/bp-init-read-co.tex b/examples/paper-tccc/bp/bp-init-read-co.tex → examples/paper-c4/bp/bp-init-read-co.tex
diff --git a/examples/paper-tccc/bp/bp-init-read-mono.pdf → examples/paper-c4/bp/bp-init-read-mono.pdf b/examples/paper-tccc/bp/bp-init-read-mono.pdf → examples/paper-c4/bp/bp-init-read-mono.pdf
diff --git a/examples/paper-tccc/bp/bp-init-read-mono.tex → examples/paper-c4/bp/bp-init-read-mono.tex b/examples/paper-tccc/bp/bp-init-read-mono.tex → examples/paper-c4/bp/bp-init-read-mono.tex
diff --git a/examples/paper-tccc/bp/bp-init-read-wr.pdf → examples/paper-c4/bp/bp-init-read-wr.pdf b/examples/paper-tccc/bp/bp-init-read-wr.pdf → examples/paper-c4/bp/bp-init-read-wr.pdf
diff --git a/examples/paper-tccc/bp/bp-init-read-wr.tex → examples/paper-c4/bp/bp-init-read-wr.tex b/examples/paper-tccc/bp/bp-init-read-wr.tex → examples/paper-c4/bp/bp-init-read-wr.tex
diff --git a/...per-tccc/bp/bp-intermediate-read-dots.pdf → ...paper-c4/bp/bp-intermediate-read-dots.pdf b/...per-tccc/bp/bp-intermediate-read-dots.pdf → ...paper-c4/bp/bp-intermediate-read-dots.pdf
diff --git a/...per-tccc/bp/bp-intermediate-read-dots.tex → ...paper-c4/bp/bp-intermediate-read-dots.tex b/...per-tccc/bp/bp-intermediate-read-dots.tex → ...paper-c4/bp/bp-intermediate-read-dots.tex
diff --git a/...es/paper-tccc/bp/bp-intermediate-read.pdf → ...ples/paper-c4/bp/bp-intermediate-read.pdf b/...es/paper-tccc/bp/bp-intermediate-read.pdf → ...ples/paper-c4/bp/bp-intermediate-read.pdf
diff --git a/...es/paper-tccc/bp/bp-intermediate-read.tex → ...ples/paper-c4/bp/bp-intermediate-read.tex b/...es/paper-tccc/bp/bp-intermediate-read.tex → ...ples/paper-c4/bp/bp-intermediate-read.tex
diff --git a/...les/paper-tccc/bp/bp-non-mono-read-ao.pdf → examples/paper-c4/bp/bp-non-mono-read-ao.pdf b/...les/paper-tccc/bp/bp-non-mono-read-ao.pdf → examples/paper-c4/bp/bp-non-mono-read-ao.pdf
diff --git a/...les/paper-tccc/bp/bp-non-mono-read-ao.tex → examples/paper-c4/bp/bp-non-mono-read-ao.tex b/...les/paper-tccc/bp/bp-non-mono-read-ao.tex → examples/paper-c4/bp/bp-non-mono-read-ao.tex
diff --git a/...les/paper-tccc/bp/bp-non-mono-read-co.pdf → examples/paper-c4/bp/bp-non-mono-read-co.pdf b/...les/paper-tccc/bp/bp-non-mono-read-co.pdf → examples/paper-c4/bp/bp-non-mono-read-co.pdf
diff --git a/...les/paper-tccc/bp/bp-non-mono-read-co.tex → examples/paper-c4/bp/bp-non-mono-read-co.tex b/...les/paper-tccc/bp/bp-non-mono-read-co.tex → examples/paper-c4/bp/bp-non-mono-read-co.tex
diff --git a/...r-tccc/bp/bp-non-repeatable-read-dots.pdf → ...per-c4/bp/bp-non-repeatable-read-dots.pdf b/...r-tccc/bp/bp-non-repeatable-read-dots.pdf → ...per-c4/bp/bp-non-repeatable-read-dots.pdf
diff --git a/...r-tccc/bp/bp-non-repeatable-read-dots.tex → ...per-c4/bp/bp-non-repeatable-read-dots.tex b/...r-tccc/bp/bp-non-repeatable-read-dots.tex → ...per-c4/bp/bp-non-repeatable-read-dots.tex
diff --git a/.../paper-tccc/bp/bp-non-repeatable-read.pdf → ...es/paper-c4/bp/bp-non-repeatable-read.pdf b/.../paper-tccc/bp/bp-non-repeatable-read.pdf → ...es/paper-c4/bp/bp-non-repeatable-read.pdf
diff --git a/.../paper-tccc/bp/bp-non-repeatable-read.tex → ...es/paper-c4/bp/bp-non-repeatable-read.tex b/.../paper-tccc/bp/bp-non-repeatable-read.tex → ...es/paper-c4/bp/bp-non-repeatable-read.tex
diff --git a/...es/paper-tccc/bp/bp-not-my-last-write.pdf → ...ples/paper-c4/bp/bp-not-my-last-write.pdf b/...es/paper-tccc/bp/bp-not-my-last-write.pdf → ...ples/paper-c4/bp/bp-not-my-last-write.pdf
diff --git a/...es/paper-tccc/bp/bp-not-my-last-write.tex → ...ples/paper-c4/bp/bp-not-my-last-write.tex b/...es/paper-tccc/bp/bp-not-my-last-write.tex → ...ples/paper-c4/bp/bp-not-my-last-write.tex
diff --git a/...aper-tccc/bp/bp-not-my-own-write-dots.pdf → .../paper-c4/bp/bp-not-my-own-write-dots.pdf b/...aper-tccc/bp/bp-not-my-own-write-dots.pdf → .../paper-c4/bp/bp-not-my-own-write-dots.pdf
diff --git a/...aper-tccc/bp/bp-not-my-own-write-dots.tex → .../paper-c4/bp/bp-not-my-own-write-dots.tex b/...aper-tccc/bp/bp-not-my-own-write-dots.tex → .../paper-c4/bp/bp-not-my-own-write-dots.tex
diff --git a/...les/paper-tccc/bp/bp-not-my-own-write.pdf → examples/paper-c4/bp/bp-not-my-own-write.pdf b/...les/paper-tccc/bp/bp-not-my-own-write.pdf → examples/paper-c4/bp/bp-not-my-own-write.pdf
diff --git a/...les/paper-tccc/bp/bp-not-my-own-write.tex → examples/paper-c4/bp/bp-not-my-own-write.tex b/...les/paper-tccc/bp/bp-not-my-own-write.tex → examples/paper-c4/bp/bp-not-my-own-write.tex
diff --git a/...s/paper-tccc/bp/bp-thin-air-read-dots.pdf → ...les/paper-c4/bp/bp-thin-air-read-dots.pdf b/...s/paper-tccc/bp/bp-thin-air-read-dots.pdf → ...les/paper-c4/bp/bp-thin-air-read-dots.pdf
diff --git a/examples/paper-tccc/bp/bp-thin-air-read.pdf → examples/paper-c4/bp/bp-thin-air-read.pdf b/examples/paper-tccc/bp/bp-thin-air-read.pdf → examples/paper-c4/bp/bp-thin-air-read.pdf
diff --git a/examples/paper-tccc/bp/bp-thin-air-read.tex → examples/paper-c4/bp/bp-thin-air-read.tex b/examples/paper-tccc/bp/bp-thin-air-read.tex → examples/paper-c4/bp/bp-thin-air-read.tex
diff --git a/examples/paper-tccc/bp/bp-thin-air.pdf → examples/paper-c4/bp/bp-thin-air.pdf b/examples/paper-tccc/bp/bp-thin-air.pdf → examples/paper-c4/bp/bp-thin-air.pdf
diff --git a/examples/paper-tccc/bp/bp-thin-air.tex → examples/paper-c4/bp/bp-thin-air.tex b/examples/paper-tccc/bp/bp-thin-air.tex → examples/paper-c4/bp/bp-thin-air.tex
diff --git a/examples/paper-tccc/c4/c4-treeclock-v.pdf → examples/paper-c4/c4/c4-treeclock-v.pdf b/examples/paper-tccc/c4/c4-treeclock-v.pdf → examples/paper-c4/c4/c4-treeclock-v.pdf
diff --git a/examples/paper-tccc/c4/c4-treeclock-v.tex → examples/paper-c4/c4/c4-treeclock-v.tex b/examples/paper-tccc/c4/c4-treeclock-v.tex → examples/paper-c4/c4/c4-treeclock-v.tex
diff --git a/examples/paper-tccc/c4/c4-treeclock.pdf → examples/paper-c4/c4/c4-treeclock.pdf b/examples/paper-tccc/c4/c4-treeclock.pdf → examples/paper-c4/c4/c4-treeclock.pdf
diff --git a/examples/paper-tccc/c4/c4-treeclock.tex → examples/paper-c4/c4/c4-treeclock.tex b/examples/paper-tccc/c4/c4-treeclock.tex → examples/paper-c4/c4/c4-treeclock.tex
diff --git a/examples/paper-tccc/c4/c4-updatevec.pdf → examples/paper-c4/c4/c4-updatevec.pdf b/examples/paper-tccc/c4/c4-updatevec.pdf → examples/paper-c4/c4/c4-updatevec.pdf
diff --git a/examples/paper-tccc/c4/c4-updatevec.tex → examples/paper-c4/c4/c4-updatevec.tex b/examples/paper-tccc/c4/c4-updatevec.tex → examples/paper-c4/c4/c4-updatevec.tex
@@ -6,6 +6,8 @@
 \usepackage{tikz}
 \usetikzlibrary{shapes, positioning, arrows.meta, decorations.pathmorphing}
 
+\def\ldist{0.60}
+
 \begin{document}
 \begin{tikzpicture}[
   node distance = 1.00cm and 1.30cm,
@@ -23,22 +25,26 @@
   % t2:
   \node[txn, right = of t1,
 			label = below : $t_{2}$,
-			label = above : {$\langle 2, 0 \rangle$}]
+			label = above : {$\langle 2, 0 \rangle$},
+      label = {[label distance = \ldist cm]above : {\red{$\langle 2, 1 \rangle$}}}]
     (t2) {$\cdots$};
   % t3:
   \node[txn, right = of t2,
 			label = below : $t_{3}$,
-			label = above : {$\langle 3, 2 \rangle$}]
+			label = above : {$\langle 3, 0 \rangle$},
+      label = {[label distance = \ldist cm]above : {\blue{$\langle 3, 2 \rangle$}}}]
     (t3) {$\cdots$};
 	% t4:
   \node[txn, right = of t3,
 			label = below : $t_{4}$,
-			label = above : {$\langle 4, 2 \rangle$}]
+			label = above : {$\langle 4, 0 \rangle$},
+      label = {[label distance = \ldist cm]above : {\blue{$\langle 4, 2 \rangle$}}}]
     (t4) {$\cdots$};
 	% t100:
   \node[txn, right = of t4,
 			label = below : $t_{100}$,
-			label = above : {$\langle 100, 2 \rangle$}]
+			label = above : {$\langle 100, 0 \rangle$},
+      label = {[label distance = \ldist cm]above : {\blue{$\langle 100, 2 \rangle$}}}]
     (t100) {$\cdots$};
 
 	% t101:
@@ -59,7 +65,7 @@
   % t1-SO-t2
   \draw[so] (t1) to node[above]{$\SO$} (t2);
 	% t2-SO-t3
-  \draw[so] (t2) to node[above]{$\SO$} (t3);
+  \draw[so, green] (t2) to node[above]{$\SO$} node[below]{$\WR$} (t3);
 	% t3-SO-t4
   \draw[so] (t3) to node[above]{$\SO$} (t4);
 	% t4-SO-t100
@@ -71,6 +77,6 @@
 	% t101-VO-t2
   \draw[vo, red] (t101.north) to node[sloped, above]{$\CM$} (t2);
   % t102-WR-t3
-  \draw[wr] (t102.north) to node[sloped, above]{$\WR$} (t3);
+  \draw[wr, blue] (t102.north) to node[sloped, above]{$\WR$} (t3);
 \end{tikzpicture}
 \end{document}
diff --git a/examples/paper-tccc/cex/cex-antidote.pdf → examples/paper-c4/cex/cex-antidote.pdf b/examples/paper-tccc/cex/cex-antidote.pdf → examples/paper-c4/cex/cex-antidote.pdf
diff --git a/examples/paper-tccc/cex/cex-antidote.tex → examples/paper-c4/cex/cex-antidote.tex b/examples/paper-tccc/cex/cex-antidote.tex → examples/paper-c4/cex/cex-antidote.tex
diff --git a/examples/paper-tccc/cex/cex-cockroachdb.pdf → examples/paper-c4/cex/cex-cockroachdb.pdf b/examples/paper-tccc/cex/cex-cockroachdb.pdf → examples/paper-c4/cex/cex-cockroachdb.pdf
diff --git a/examples/paper-tccc/cex/cex-cockroachdb.tex → examples/paper-c4/cex/cex-cockroachdb.tex b/examples/paper-tccc/cex/cex-cockroachdb.tex → examples/paper-c4/cex/cex-cockroachdb.tex
diff --git a/...-tccc/cex/cex-mariadb-fracturedreadco.pdf → ...er-c4/cex/cex-mariadb-fracturedreadco.pdf b/...-tccc/cex/cex-mariadb-fracturedreadco.pdf → ...er-c4/cex/cex-mariadb-fracturedreadco.pdf
diff --git a/...-tccc/cex/cex-mariadb-fracturedreadco.tex → ...er-c4/cex/cex-mariadb-fracturedreadco.tex b/...-tccc/cex/cex-mariadb-fracturedreadco.tex → ...er-c4/cex/cex-mariadb-fracturedreadco.tex
diff --git a/...tccc/cex/cex-mariadb-intermediateread.pdf → ...r-c4/cex/cex-mariadb-intermediateread.pdf b/...tccc/cex/cex-mariadb-intermediateread.pdf → ...r-c4/cex/cex-mariadb-intermediateread.pdf
diff --git a/...tccc/cex/cex-mariadb-intermediateread.tex → ...r-c4/cex/cex-mariadb-intermediateread.tex b/...tccc/cex/cex-mariadb-intermediateread.tex → ...r-c4/cex/cex-mariadb-intermediateread.tex
diff --git a/...ccc/cex/cex-mariadb-nonrepeatableread.pdf → ...-c4/cex/cex-mariadb-nonrepeatableread.pdf b/...ccc/cex/cex-mariadb-nonrepeatableread.pdf → ...-c4/cex/cex-mariadb-nonrepeatableread.pdf
diff --git a/...ccc/cex/cex-mariadb-nonrepeatableread.tex → ...-c4/cex/cex-mariadb-nonrepeatableread.tex b/...ccc/cex/cex-mariadb-nonrepeatableread.tex → ...-c4/cex/cex-mariadb-nonrepeatableread.tex
diff --git a/...er-tccc/cex/cex-yugabyte-bpconflictcm.pdf → ...aper-c4/cex/cex-yugabyte-bpconflictcm.pdf b/...er-tccc/cex/cex-yugabyte-bpconflictcm.pdf → ...aper-c4/cex/cex-yugabyte-bpconflictcm.pdf
diff --git a/...er-tccc/cex/cex-yugabyte-bpconflictcm.tex → ...aper-c4/cex/cex-yugabyte-bpconflictcm.tex b/...er-tccc/cex/cex-yugabyte-bpconflictcm.tex → ...aper-c4/cex/cex-yugabyte-bpconflictcm.tex
diff --git a/...cc/cex/cex-yugabyte-bpfracturedreadcm.pdf → ...c4/cex/cex-yugabyte-bpfracturedreadcm.pdf b/...cc/cex/cex-yugabyte-bpfracturedreadcm.pdf → ...c4/cex/cex-yugabyte-bpfracturedreadcm.pdf
diff --git a/...cc/cex/cex-yugabyte-bpfracturedreadcm.tex → ...c4/cex/cex-yugabyte-bpfracturedreadcm.tex b/...cc/cex/cex-yugabyte-bpfracturedreadcm.tex → ...c4/cex/cex-yugabyte-bpfracturedreadcm.tex
diff --git a/...er-tccc/cex/cex-yugabyte-coconflictcm.pdf → ...aper-c4/cex/cex-yugabyte-coconflictcm.pdf b/...er-tccc/cex/cex-yugabyte-coconflictcm.pdf → ...aper-c4/cex/cex-yugabyte-coconflictcm.pdf
diff --git a/...er-tccc/cex/cex-yugabyte-coconflictcm.tex → ...aper-c4/cex/cex-yugabyte-coconflictcm.tex b/...er-tccc/cex/cex-yugabyte-coconflictcm.tex → ...aper-c4/cex/cex-yugabyte-coconflictcm.tex
diff --git a/examples/paper-tccc/compile-linux.bash → examples/paper-c4/compile-linux.bash b/examples/paper-tccc/compile-linux.bash → examples/paper-c4/compile-linux.bash
diff --git a/examples/paper-tccc/compile-win.bat → examples/paper-c4/compile-win.bat b/examples/paper-tccc/compile-win.bat → examples/paper-c4/compile-win.bat
diff --git a/examples/paper-tccc/elle/elle-bpcyclicco.pdf → examples/paper-c4/elle/elle-bpcyclicco.pdf b/examples/paper-tccc/elle/elle-bpcyclicco.pdf → examples/paper-c4/elle/elle-bpcyclicco.pdf
diff --git a/examples/paper-tccc/elle/elle-bpcyclicco.tex → examples/paper-c4/elle/elle-bpcyclicco.tex b/examples/paper-tccc/elle/elle-bpcyclicco.tex → examples/paper-c4/elle/elle-bpcyclicco.tex
diff --git a/...s/paper-tccc/elle/elle-bppofutureread.pdf → ...les/paper-c4/elle/elle-bppofutureread.pdf b/...s/paper-tccc/elle/elle-bppofutureread.pdf → ...les/paper-c4/elle/elle-bppofutureread.pdf
diff --git a/...s/paper-tccc/elle/elle-bppofutureread.tex → ...les/paper-c4/elle/elle-bppofutureread.tex b/...s/paper-tccc/elle/elle-bppofutureread.tex → ...les/paper-c4/elle/elle-bppofutureread.tex
diff --git a/examples/paper-tccc/newcommands.tex → examples/paper-c4/newcommands.tex b/examples/paper-tccc/newcommands.tex → examples/paper-c4/newcommands.tex
@@ -90,10 +90,10 @@
 % colors
 \newcommand{\red}[1]{\textcolor{red}{#1}}
 \newcommand{\green}[1]{\textcolor{green}{#1}}
-\newcommand{\blue}[1]{\texcolor{blue}{#1}}
-\newcommand{\cyan}[1]{\texcolor{cyan}{#1}}
-\newcommand{\brown}[1]{\texcolor{brown}{#1}}
-\newcommand{\teal}[1]{\texcolor{teal}{#1}}
+\newcommand{\blue}[1]{\textcolor{blue}{#1}}
+\newcommand{\cyan}[1]{\textcolor{cyan}{#1}}
+\newcommand{\brown}[1]{\textcolor{brown}{#1}}
+\newcommand{\teal}[1]{\textcolor{teal}{#1}}
 
 \def\hsep{2pt}
 \def\vsep{2pt}
diff --git a/examples/paper-tccc/tcc/causal-axiom.pdf → examples/paper-c4/tcc/causal-axiom.pdf b/examples/paper-tccc/tcc/causal-axiom.pdf → examples/paper-c4/tcc/causal-axiom.pdf
diff --git a/examples/paper-tccc/tcc/causal-axiom.tex → examples/paper-c4/tcc/causal-axiom.tex b/examples/paper-tccc/tcc/causal-axiom.tex → examples/paper-c4/tcc/causal-axiom.tex
diff --git a/examples/paper-tccc/tcc/tcc-co-vo.pdf → examples/paper-c4/tcc/tcc-co-vo.pdf b/examples/paper-tccc/tcc/tcc-co-vo.pdf → examples/paper-c4/tcc/tcc-co-vo.pdf
diff --git a/examples/paper-tccc/tcc/tcc-co-vo.tex → examples/paper-c4/tcc/tcc-co-vo.tex b/examples/paper-tccc/tcc/tcc-co-vo.tex → examples/paper-c4/tcc/tcc-co-vo.tex
diff --git a/examples/paper-tccc/tcc/tcc-vis-ar.pdf → examples/paper-c4/tcc/tcc-vis-ar.pdf b/examples/paper-tccc/tcc/tcc-vis-ar.pdf → examples/paper-c4/tcc/tcc-vis-ar.pdf
diff --git a/examples/paper-tccc/tcc/tcc-vis-ar.tex → examples/paper-c4/tcc/tcc-vis-ar.tex b/examples/paper-tccc/tcc/tcc-vis-ar.tex → examples/paper-c4/tcc/tcc-vis-ar.tex
diff --git a/examples/paper-tccc/tcc/tcm-no-ua.pdf → examples/paper-c4/tcc/tcm-no-ua.pdf b/examples/paper-tccc/tcc/tcm-no-ua.pdf → examples/paper-c4/tcc/tcm-no-ua.pdf
diff --git a/examples/paper-tccc/tcc/tcm-no-ua.tex → examples/paper-c4/tcc/tcm-no-ua.tex b/examples/paper-tccc/tcc/tcm-no-ua.tex → examples/paper-c4/tcc/tcm-no-ua.tex
diff --git a/examples/paper-tccc/tcc/tcm.pdf → examples/paper-c4/tcc/tcm.pdf b/examples/paper-tccc/tcc/tcm.pdf → examples/paper-c4/tcc/tcm.pdf
diff --git a/examples/paper-tccc/tcc/tcm.tex → examples/paper-c4/tcc/tcm.tex b/examples/paper-tccc/tcc/tcm.tex → examples/paper-c4/tcc/tcm.tex