defs.tex

\newcommand{\divine}{\mbox{DIVINE}\xspace}
\newcommand{\divm}{Di\hspace*{-0.66pt}VM\xspace}
\newcommand{\dios}{DiOS\xspace}
\newcommand{\lart}{\mbox{LART}\xspace}

\newcommand{\llvm}{LLVM\xspace}
\newcommand{\ltl}{LTL\xspace}
\newcommand{\complexity}[1]{\textsc{#1}\xspace}
\newcommand{\PSPACE}{\complexity{PSPACE}}

\newcommand{\tso}{TSO\xspace}
\newcommand{\pso}{PSO\xspace}
\newcommand{\xtso}{\mbox{x86-\kern-.15em TSO}\xspace}

\newcommand{\FI}{Faculty of Informatics}
\newcommand{\MU}{Masaryk University}

\newcommand{\Jirik}{prof. RNDr. Jiří Barnat, Ph.D.}
\newcommand{\Mornfall}{RNDr. Petr Ročkai, Ph.D.}

\newcommand{\thesistitle}{Analysis of Parallel C++ Programs} % enter thesis title
\newcommand{\thesissubtitle}{PHD Thesis}
\newcommand{\thesisauthor}{Vladimír Štill}
\newcommand{\thesisYearCity}{Brno, 2020}
\newcommand{\thesisadvisor}{\Jirik}