1 files changed, 0 insertions, 87 deletions
diff --git a/tex/thesis/thesis.aux b/tex/thesis/thesis.aux
deleted file mode 100644
index 0ca72d1..0000000
--- a/tex/thesis/thesis.aux
+++ /dev/null
@@ -1,87 +0,0 @@
-\relax 
-\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
-\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
-\global\let\oldcontentsline\contentsline
-\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
-\global\let\oldnewlabel\newlabel
-\gdef\newlabel#1#2{\newlabelxx{#1}#2}
-\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
-\AtEndDocument{\ifx\hyper@anchor\@undefined
-\let\contentsline\oldcontentsline
-\let\newlabel\oldnewlabel
-\fi}
-\fi}
-\global\let\hyper@last\relax 
-\gdef\HyperFirstAtBeginDocument#1{#1}
-\providecommand\HyField@AuxAddToFields[1]{}
-\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{}{Student Plagiarism: Compliance Statement}}{ii}{chapter*.2}}
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}
-\newlabel{sec:plagiarism}{{}{ii}{Student Plagiarism: Compliance Statement\relax }{chapter*.2}{}}
-\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{}{Abstract}}{iii}{chapter*.4}}
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{}{Acknowledgements}}{iv}{chapter*.6}}
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{}{List of Figures}}{vi}{chapter*.6}}
-\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{}{List of Tables}}{vii}{chapter*.6}}
-\citation{clark-curran:07}
-\citation{clark-curran:07}
-\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{1}{Introduction}}{1}{chapter.1}}
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{2}{Literature Review}}{2}{chapter.2}}
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}
-\newlabel{chap:litreview}{{2}{2}{Literature Review\relax }{chapter.2}{}}
-\@writefile{toc}{\contentsline {section}{\tocsection {}{2.1}{Program Semantics}}{2}{section.2.1}}
-\@writefile{toc}{\contentsline {section}{\tocsection {}{2.2}{Abstract Interpretation}}{3}{section.2.2}}
-\newlabel{sec:abstract-interpretation}{{2.2}{3}{Abstract Interpretation\relax }{section.2.2}{}}
-\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2.1}{General Framework}}{3}{subsection.2.2.1}}
-\citation{CousotCousot77-1}
-\citation{Gawlitza:2007:PFC:1762174.1762203}
-\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2.2}{Intervals}}{4}{subsection.2.2.2}}
-\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2.3}{Zones}}{4}{subsection.2.2.3}}
-\newlabel{subsec:zones}{{2.2.3}{4}{Zones\relax }{subsection.2.2.3}{}}
-\@writefile{toc}{\contentsline {section}{\tocsection {}{2.3}{Min/max problem}}{4}{section.2.3}}
-\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces A simple CFG fragment.}}{5}{figure.2.1}}
-\newlabel{cfg:confluence}{{2.1}{5}{A simple CFG fragment}{figure.2.1}{}}
-\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3.1}{Partial-ordering Formulation}}{5}{subsection.2.3.1}}
-\newlabel{eqn:start-node}{{2.4}{5}{Partial-ordering Formulation\relax }{equation.2.3.4}{}}
-\newlabel{eqn:confluence}{{2.5}{5}{Partial-ordering Formulation\relax }{equation.2.3.5}{}}
-\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces The CFG for Example \ref  {example:partial-ordered-construction}}}{6}{figure.2.2}}
-\newlabel{fig:partial-ordered-construction}{{2.2}{6}{The CFG for Example \ref {example:partial-ordered-construction}\relax }{figure.2.2}{}}
-\newlabel{example:partial-ordered-construction}{{2.3.1}{6}{\relax }{example.2.3.1}{}}
-\@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{2.3.1.1}{Lattice construction}}{8}{subsubsection.2.3.1.1}}
-\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3.2}{Formalities}}{11}{subsection.2.3.2}}
-\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3.3}{Example solve}}{11}{subsection.2.3.3}}
-\newlabel{sec-1-3-5}{{2.3.3}{11}{Example solve\relax }{subsection.2.3.3}{}}
-\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{3}{Evaluation}}{12}{chapter.3}}
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}
-\newlabel{chap:evaluation}{{3}{12}{Evaluation\relax }{chapter.3}{}}
-\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{4}{Experiments}}{13}{chapter.4}}
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}
-\newlabel{chap:experiments}{{4}{13}{Experiments\relax }{chapter.4}{}}
-\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{5}{Results}}{14}{chapter.5}}
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}
-\newlabel{chap:results}{{5}{14}{Results\relax }{chapter.5}{}}
-\bibstyle{style/mybibstyle}
-\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{6}{Conclusion}}{15}{chapter.6}}
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}
-\newlabel{chap:conclusion}{{6}{15}{Conclusion\relax }{chapter.6}{}}
-\bibdata{references}
-\bibcite{CousotCousot77-1}{{1}{1977}{{Cousot and Cousot}}{{}}}
-\bibcite{Gawlitza:2007:PFC:1762174.1762203}{{2}{2007}{{Gawlitza and Seidl}}{{}}}
-\newlabel{tocindent-1}{0pt}
-\newlabel{tocindent0}{67.91135pt}
-\newlabel{tocindent1}{26.27997pt}
-\newlabel{tocindent2}{35.58745pt}
-\newlabel{tocindent3}{0pt}
-\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{}{Bibliography}}{16}{chapter*.8}}
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}