main.tex

% !BIB TS-program = biber

\RequirePackage[l2tabu,orthodox]{nag}

%\documentclass[headsepline,footsepline,footinclude=false,fontsize=11pt,paper=a4,listof=totoc,bibliography=totoc,BCOR=12mm,DIV=12]{scrbook} % two-sided
\documentclass[headsepline,footsepline,footinclude=false,oneside,fontsize=11pt,paper=a4,listof=totoc,bibliography=totoc]{scrbook} % one-sided

% change citation style in settings
\input{settings}

\newcommand*{\getUniversity}{Technische Universität München}
\newcommand*{\getFaculty}{Informatics}
\newcommand*{\getSchool}{Computation, Information and Technology}
\newcommand*{\getTitle}{Combatting the Precision Loss of Partial Contexts in Abstract Interpretation}
\newcommand*{\getTitleGer}{Bekämpfung des Präzisionsverlustes durch partielle Kontexte in Abstrakter Interpretation}
\newcommand*{\getAuthor}{Felix Sebastian Krayer}
\newcommand*{\getDoctype}{Bachelor's Thesis}
\newcommand*{\getSupervisor}{Prof. Dr. Helmut Seidl}
\newcommand*{\getAdvisor}{Michael Schwarz}
\newcommand*{\getSubmissionDate}{15th of February 2023}
\newcommand*{\getSubmissionLocation}{Munich}

\begin{document}

% Set page numbering to avoid "destination with the same identifier has been already used" warning for cover page.
% (see https://en.wikibooks.org/wiki/LaTeX/Hyperlinks#Problems_with_Links_and_Pages).
\pagenumbering{alph}
\input{pages/cover}

\frontmatter{}

\input{pages/title}
\input{pages/disclaimer}
%\input{pages/acknowledgments}
\input{pages/abstract}
\microtypesetup{protrusion=false}
\begin{spacing}{0.96}
\tableofcontents
\end{spacing}
\microtypesetup{protrusion=true}

\mainmatter{}

\input{chapters/01_introduction}
\input{chapters/02_background}
\input{chapters/03_precisionLossVariableAnalyses}
\input{chapters/04_precisionLossThreadAnalyses}
\input{chapters/05_evaluation}
\input{chapters/06_conclusions}

%\appendix{}

\microtypesetup{protrusion=false}

%\addchap{Abbreviations}
%\begin{acronym}
%	\itemsep-.25\baselineskip
%	\acro{CFG}[CFG]{Control Flow Graph}
%	\acro{lval}[$\textsf{lval}$]{Left Value (of an assignment)}
%\end{acronym}

\listoffigures{}
%\listoftables{}
\microtypesetup{protrusion=true}
\printbibliography{}

\end{document}