changes

[cdsspec-compiler.git] / correctness-model / writeup / paper.tex

diff --git a/correctness-model/writeup/paper.tex b/correctness-model/writeup/paper.tex
index 00e607d3455274d90b3cdddf88cd5f6eedf229a1..015155f265d4a4ff6da7bae7f2f5d6b36060eafc 100644 (file)
--- a/correctness-model/writeup/paper.tex
+++ b/correctness-model/writeup/paper.tex
@@ -90,6 +90,15 @@
 
 \newcommand{\hb}[0]{\textit{hb}\xspace}
 \newcommand{\mo}[0]{\textit{mo}\xspace}
+\newcommand{\moc}[0]{\textit{moc}\xspace}
+
+\newcommand{\address}[0]{\texttt{address}\xspace}
+\newcommand{\StoreOp}[0]{\textit{StoreOps}\xspace}
+\newcommand{\LoadOp}[0]{\textit{LoadOps}\xspace}
+\newcommand{\Ops}[0]{\textit{Ops}\xspace}
+\newcommand{\Address}[0]{\textit{Address}\xspace}
+\newcommand{\Value}[0]{\textit{Value}\xspace}
+\newcommand{\movable}[0]{\textit{movable}\xspace}
 
 \newcommand{\pushcode}[1][1]{\hskip\dimexpr#1\algorithmicindent\relax}