Remove "(ABI)" (unclear)

2019-10-15 12:23:38 +02:00 · 2019-10-15 12:23:38 +02:00 · 2635a3190a
parent c4ad50e7b1
commit 2635a3190a
1 changed files with 1 additions and 1 deletions
--- a/slides.tex
+++ b/slides.tex
@ -408,7 +408,7 @@ Segmentation fault.

 \begin{frame}{How do we actually synthesize?}
    \begin{itemize}
-        \item Upon entering a function, we know (ABI)
+        \item Upon entering a function, we know
            \[ \cfa = \reg{rsp} - 8
            \qquad \ra = \cfa + 8 \]
        \item The semantics of each instruction specifies \alert{how it changes \cfa}.