changes

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

diff --git a/correctness-model/writeup/paper.tex b/correctness-model/writeup/paper.tex
index d65f51288b996d56bc473b8793e44997f18ee1a9..015155f265d4a4ff6da7bae7f2f5d6b36060eafc 100644 (file)
--- a/correctness-model/writeup/paper.tex
+++ b/correctness-model/writeup/paper.tex
@@ -81,6 +81,27 @@
 
 \usepackage{algpseudocode}
 
+\usepackage[utf8]{inputenc}
+\usepackage[english]{babel}
+ 
+\newtheorem{theorem}{Theorem}
+\newtheorem{corollary}{Corollary}[theorem]
+\newtheorem{lemma}[theorem]{Lemma}
+
+\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}
+
 %% Not used yet
 % \usepackage{times}
 % \usepackage{latexsym}