Skip to content

Commit

Permalink
Fixed timelines offsets
Browse files Browse the repository at this point in the history
  • Loading branch information
fresheed committed Sep 24, 2021
1 parent 5044277 commit f02e23c
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
6 changes: 3 additions & 3 deletions loops_wmm.tex
Expand Up @@ -92,16 +92,16 @@
\pause
\begin{traceenv}{1.2}{0.9}
\stepcounter{evctr}
\onslide<4->{\node at (\curEv-0.5, 1) {$\ulab{}{l}{0}{1}$ \stepcounter{evctr}};}
\onslide<4->{\node at (\curEv, 1) {$\ulab{}{l}{0}{1}$ \stepcounter{evctr}};}
\onslide<6->{\node at (\curEv-0.5, 0) {$\rlab{}{l}{1}$ \stepcounter{evctr}};}
\onslide<8->{\node at (\curEv-0.3, 0) {$\rlab{}{l}{1}$ \stepcounter{evctr}};}
\onslide<9->{\node at (\curEv-0.5, 1) {$\wlab{}{l}{0}$ \stepcounter{evctr}};}
\onslide<11->{\node at (\curEv-0.5, 0) {$\rlab{}{l}{1}$ \stepcounter{evctr}};}
\onslide<13->{\node at (\curEv-0.4, 0) {\ldots \stepcounter{evctr}};}
\onslide<13->{\node at (\curEv-0.9, 0) {\ldots};}
\onslide<15->{\node at (\curEv-0.3, 0) {$\rlab{}{l}{1}$ \stepcounter{evctr}};}
\onslide<16->{\node at (\curEv-0.8, 1) {\color{blue} \underline{$\mathtt{prop}$} \stepcounter{evctr}};}
\onslide<18->{\node at (\curEv-0.7, 0) {$\ulab{}{l}{0}{1}$ \stepcounter{evctr}};}
\onslide<19->{\node at (\curEv-0.7, 0) {$\wlab{}{l}{0}$};}
\onslide<19->{\node at (\curEv-0.4, 0) {$\wlab{}{l}{0}$};}
\end{traceenv}


Expand Down
2 changes: 1 addition & 1 deletion programs.tex
Expand Up @@ -228,7 +228,7 @@
\newcommand{\fairTrace}{
\begin{traceenv}{1.4}{0.9}
\stepcounter{evctr}
\node at (\curEv-0.5, 1) {$\ulab{}{l}{0}{1}$ \stepcounter{evctr}};
\node at (\curEv-0.25, 1) {$\ulab{}{l}{0}{1}$ \stepcounter{evctr}};
\node at (\curEv-0.7, 0) {$\rlab{}{l}{1}$ \stepcounter{evctr}};
\node at (\curEv-0.4, 0) {$\rlab{}{l}{1}$ \stepcounter{evctr}};
\node at (\curEv-0.7, 1) {$\wlab{}{l}{0}$ \stepcounter{evctr}};
Expand Down

0 comments on commit f02e23c

Please sign in to comment.