Merge pull request #48 from EFanZh/ci

Add a simple GitHub Actions workflow

.github/workflows/ci.yml

@@ -0,0 +1,8 @@
+on: push
+jobs:
+    build:
+        runs-on: ubuntu-latest
+        steps:
+          - run: sudo apt-get install --no-install-recommends -y latexmk lmodern texlive-latex-extra texlive-science
+          - uses: actions/checkout@v2
+          - run: make

book.tex

@@ -3045,18 +3045,18 @@ Next we skip forward to the instruction \lstinline{movq x, y}.
 \begin{figure}[tbp]
 \begin{quote}
 \begin{tabular}{ll}
-{\lstinline!movq $1, v!}& no interference by rule 1\\
-{\lstinline!movq $42, w!}& $\ttm{w}$ interferes with $\ttm{v}$ by rule 1\\
-{\lstinline!movq v, x!}& $\ttm{x}$ interferes with $\ttm{w}$ by rule 1\\
-{\lstinline!addq $7, x!}& $\ttm{x}$ interferes with $\ttm{w}$ by rule 2\\
-{\lstinline!movq x, y!}& $\ttm{y}$ interferes with $\ttm{w}$ but not $\ttm{x}$ by rule 1\\
-{\lstinline!movq x, z!}& $\ttm{z}$ interferes with $\ttm{w}$ and $\ttm{y}$ by rule 1\\
-{\lstinline!addq w, z!}& $\ttm{z}$ interferes with $\ttm{y}$ by rule 2 \\
-{\lstinline!movq y, t!}& $\ttm{t}$ interferes with $\ttm{z}$ by rule 1 \\
-{\lstinline!negq t!}& $\ttm{t}$ interferes with $\ttm{z}$ by rule 2 \\
-{\lstinline!movq z, %rax!}   & $\ttm{rax}$ interferes with $\ttm{t}$ by rule 1 \\
-{\lstinline!addq t, %rax!} & no interference by rule 2 \\
-  {\lstinline!jmp conclusion!}& no interference by rule 2
+\lstinline!movq $1, v!& no interference by rule 3,\\
+\lstinline!movq $42, w!& $w$ interferes with $v$ by rule 3,\\
+\lstinline!movq v, x!& $x$ interferes with $w$ by rule 3,\\
+\lstinline!addq $7, x!& $x$ interferes with $w$ by rule 1,\\
+\lstinline!movq x, y!& $y$ interferes with $w$ but not $x$ by rule 3,\\
+\lstinline!movq x, z!& $z$ interferes with $w$ and $y$ by rule 3,\\
+\lstinline!addq w, z!& $z$ interferes with $y$ by rule 1, \\
+\lstinline!movq y, t!& $t$ interferes with $z$ by rule 3, \\
+\lstinline!negq t!& $t$ interferes with $z$ by rule 1, \\
+\lstinline!movq z, %rax!   & no interference (ignore rax), \\
+\lstinline!addq t, %rax! & no interference (ignore rax). \\
+\lstinline!jmp conclusion!& no interference.
 \end{tabular}
 \end{quote}
 \caption{Interference results for the running example.}