\documentclass[11pt]{article}

\usepackage{acronym}
\usepackage[pdftex]{graphicx}
\usepackage{listings}
\usepackage{color}
\usepackage{paralist}
\usepackage[inline]{enumitem}
\usepackage[bookmarks]{hyperref}
\usepackage{bookmark}
\usepackage[capitalise,noabbrev]{cleveref}
\usepackage{hypernat}
\usepackage{url}
\usepackage[format=plain,
            labelfont={bf,it},
            textfont=it]{caption}

\usepackage[left=1in,right=1in,top=1in,bottom=1in]{geometry}
\usepackage[skip=11pt]{parskip}

\lstset{
    basicstyle=\ttfamily,
    columns=flexible,
    escapeinside=||
}

\setitemize{noitemsep,topsep=0pt,parsep=0pt,partopsep=0pt}
\setenumerate{noitemsep,topsep=0pt,parsep=0pt,partopsep=0pt}
\setdescription{noitemsep,topsep=0pt,parsep=0pt,partopsep=0pt}

\newcommand{\pate}{\textsc{PATE}}

\graphicspath{ {./images/} }

\acrodef{DSL}{domain-specific language}
\acrodef{VM}{virtual machine}
\acrodef{SMT}{Satisfiability Modulo Theories}
\acrodef{IR}{intermediate representation}

\title{\pate{} Verifier User Manual (Version 0.9)}
\author{Galois (\href{mailto:pate-darpa-amp@galois.com}{pate-darpa-amp@galois.com})}

\begin{document}
{\let\newpage\relax\maketitle}

\input{frontmatter}
\newpage
\tableofcontents
\newpage

\acresetall

\input{introduction}
\input{build}
\input{invoking}
\input{terminal-ui}
\input{binary-ninja-ui}
\clearpage
\input{ack}
\end{document}

%%% Local Variables:
%%% mode: latex
%%% TeX-master: "user-manual.tex"
%%% End:
