summaryrefslogtreecommitdiff
path: root/tex/thesis/thesis.tex
diff options
context:
space:
mode:
Diffstat (limited to 'tex/thesis/thesis.tex')
-rw-r--r--tex/thesis/thesis.tex159
1 files changed, 159 insertions, 0 deletions
diff --git a/tex/thesis/thesis.tex b/tex/thesis/thesis.tex
new file mode 100644
index 0000000..f8ea52c
--- /dev/null
+++ b/tex/thesis/thesis.tex
@@ -0,0 +1,159 @@
+\documentclass{usydthesis}
+
+% Configuration
+\def\degree{Bachelor of Computer Science and Technology (Honours)}
+\def\department{School of Information Technologies}
+
+\title{Implementing and Evaluating a Strategy-Iteration Based Static Analyser within the LLVM framework}
+\author{Carlo Zancanaro}
+\def\sid{309222257}
+\def\supervisor{Bernhard Scholz}
+%\def\assocsupervisor{Comment this line to remove assoc supervisor}
+
+%%%%%%%%%%%%
+% Packages
+
+\usepackage{alltt}
+\usepackage{amsfonts}
+\usepackage{amsthm}
+\usepackage{multirow}
+\usepackage[colorlinks=false,plainpages=false,a4paper,pdfborder={0 0 0},backref=false]{hyperref}
+\usepackage[all]{hypcap}
+\usepackage{listings}
+\usepackage{longtable}
+\usepackage[utf8]{inputenc}
+\usepackage{subfigure}
+\usepackage{pdflscape}
+\usepackage{pgf}
+\usepackage{pifont}
+\usepackage{qtree}
+\usepackage[english,rounding]{rccol}
+\usepackage{rotating}
+\usepackage{setspace}
+\usepackage{style/bib}
+\usepackage{tabularx}
+\usepackage{tipa}
+\usepackage{wrapfig}
+\usepackage{xcolor}
+\usepackage{xspace}
+\usepackage{stmaryrd,tikz}
+\lstset{language={Python}, literate={<=}{$\le$}{1}, frame=tlrb}
+\usetikzlibrary{arrows}
+\newcommand\R{\mathbb{R}}
+\newcommand\Z{\mathbb{Z}}
+\newcommand\CZ{\overline{\Z}}
+\newcommand\Eps{\mathbb{E}}
+\newcommand\llb\llbracket
+\newcommand\rrb\rrbracket
+
+\theoremstyle{definition}
+\newtheorem{example}{Example}[section]
+
+
+\rcDecimalSignOutput{.} % rccol
+
+\newenvironment{sidewaystablepage}{\begin{landscape}\begin{table}}{\end{table}\end{landscape}}
+
+\def\subsectionautorefname{Section}
+\def\subtableautorefname{Table}
+\def\subfigureautorefname{Figure}
+\def\chapterautorefname{Chapter}
+
+\newcommand{\tick}{\ding{51}}
+\newcommand{\cross}{\ding{53}}
+
+\newcommand{\todo}[1]{{\color{red} #1}}
+\newcommand{\sent}[1]{{\color{blue}\texttt{#1}\xspace}}
+
+
+%%%%%%%%%%%%
+% Maths functions
+\def\O{\mbox{O}}
+
+%%%%%%%%%%%%
+% Setup
+
+% Page size:
+\oddsidemargin=0cm % really 1in
+\evensidemargin=0cm
+\textwidth=6.2677165in
+
+%%%%%%%%%%%%
+% Start
+
+\begin{document}
+
+% initial page numbers: i, ii, iii, ...
+\renewcommand{\thepage}{\roman{page}}
+
+\input{morenames.tex}
+
+
+
+
+%%%%%%%%%%%%
+% Title page
+\maketitle
+\setstretch{1.5}
+
+% intro pages
+\cleardoublepage
+\phantomsection
+\input{plagiarism/plagiarism.tex}
+\cleardoublepage
+\phantomsection
+\input{abstract/abstract.tex}
+\cleardoublepage
+\phantomsection
+\input{thanks/thanks.tex}
+
+% tables
+\cleardoublepage
+\setcounter{tocdepth}{2}
+\tableofcontents
+
+{\makeatletter
+\renewcommand*\numberline[1]{\hb@xt@\@tempdima{#1 \hfil}\hspace*{1em}}
+\makeatother
+\listoffigures
+\listoftables
+\cleardoublepage
+}
+
+%%%%%%%%%%%%
+% Chapters
+\setcounter{page}{1}
+\setcounter{chapter}{0}
+
+% main page numbers: 1, 2, 3, ...
+\renewcommand{\thepage}{\arabic{page}}
+\setupParagraphs
+
+\input{introduction/introduction.tex}
+\input{litreview/litreview.tex}
+\input{evaluation/evaluation.tex}
+\input{experiments/experiments.tex}
+\input{results/results.tex}
+\input{conclusion/conclusion.tex}
+
+
+%%%%%%%%%%%%
+% End
+
+% Bibliography
+\bibliographystyle{style/mybibstyle}
+{
+\setstretch{1.25}
+\cleardoublepage
+\phantomsection
+\bibliography{references}
+}
+
+%%%% Appendices
+%%%\appendix
+%%%\addtocontents{toc}{\protect\setcounter{tocdepth}{1}}
+%%%\input{wikifeats/wikifeats.tex}
+%%%\input{candcner/candcner.tex}
+%%%\input{comparedata/comparedata.tex}
+
+\end{document}