cheri_compartments_preamble.ltx

\documentclass[a4paper]{article}

\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}

\usepackage{booktabs}
\usepackage{courier}
\usepackage{hyperref}
\usepackage{listings}
\usepackage{microtype}
\usepackage[numbers]{natbib}
\usepackage{softdev}
\usepackage{tikz}
\usepackage{xspace}

\usetikzlibrary{automata, positioning, arrows}

\lstset{
    basicstyle=\ttfamily,
    xleftmargin=\parindent,
    numbers=left,
    numbersep=.8em,
    numberstyle=\tiny\tt\color{gray},
    captionpos=b,
    escapeinside={{<!}{!>}},
    commentstyle=\color{gray}\itshape,
    keywordstyle=\textbf,
}

% from https://tex.stackexchange.com/questions/264361/skipping-line-numbers-in-lstlisting#264373
\let\origthelstnumber\thelstnumber
\makeatletter
\newcommand*\Suppressnumber{%
  \lst@AddToHook{OnNewLine}{%
    \let\thelstnumber\relax%
     \advance\c@lstnumber-\@ne\relax%
    }%
}

\title{CHERI Compartments}
\author{Andrei Lascu, Laurence Tratt}