summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCarlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>2012-09-10 17:04:34 +1000
committerCarlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>2012-09-10 17:04:34 +1000
commit3d206f03985b50beacae843d880bccdc91a9f424 (patch)
tree18c2a17ab395a9b0780c8bff828e54de2bb06f57
parent763a5e6c80e7df2ca1b15bab6726cd50e7ed0add (diff)
Thesis updating.
-rw-r--r--tex/thesis/config.aux11
-rw-r--r--tex/thesis/litreview/litreview.tex426
-rw-r--r--tex/thesis/thesis.aux87
-rw-r--r--tex/thesis/thesis.bbl22
-rw-r--r--tex/thesis/thesis.blg49
-rw-r--r--tex/thesis/thesis.lof12
-rw-r--r--tex/thesis/thesis.log1598
-rw-r--r--tex/thesis/thesis.lot10
-rw-r--r--tex/thesis/thesis.out21
-rw-r--r--tex/thesis/thesis.tex7
-rw-r--r--tex/thesis/thesis.toc22
11 files changed, 264 insertions, 2001 deletions
diff --git a/tex/thesis/config.aux b/tex/thesis/config.aux
deleted file mode 100644
index 20104ab..0000000
--- a/tex/thesis/config.aux
+++ /dev/null
@@ -1,11 +0,0 @@
-\relax
-\@setckpt{config}{
-\setcounter{page}{1}
-\setcounter{equation}{0}
-\setcounter{enumi}{0}
-\setcounter{enumii}{0}
-\setcounter{enumiii}{0}
-\setcounter{enumiv}{0}
-\setcounter{footnote}{0}
-\setcounter{mpfootnote}{0}
-}
diff --git a/tex/thesis/litreview/litreview.tex b/tex/thesis/litreview/litreview.tex
index f227112..d2c5d6f 100644
--- a/tex/thesis/litreview/litreview.tex
+++ b/tex/thesis/litreview/litreview.tex
@@ -122,9 +122,9 @@ We can now begin our construction of our collecting semantics
$V^\#[v], \forall v \in N$.
\begin{align}
-V^\# [st] &\ge \alpha(\Z^n) \label{eqn:start-node} \\
-V^\# [v] &\ge \llb s_{(u,v)} \rrb ^\# (V^\# [u]) & \forall (u,v) \in
-E \label{eqn:confluence}
+ V^\# [st] &\ge \alpha(\Z^n) \label{eqn:start-node} \\
+ V^\# [v] &\ge \llb s_{(u,v)} \rrb ^\# (V^\# [u]) & \forall (u,v) \in
+ E \label{eqn:confluence}
\end{align}
In the first equation, the possible abstract states of the start node
@@ -187,29 +187,34 @@ concretization functions.
\label{example:partial-ordered-construction}
As an example, let us consider the following program:
-
- \begin{lstlisting}
+
+ \begin{figure}[here]
+ \begin{minipage}{5cm}
+ \begin{lstlisting}
x = 1
while x <= 99:
- x = x + 1
- \end{lstlisting}
-
- \begin{figure}
- \begin{tikzpicture}[->,>=stealth',shorten >=1pt,auto,node
- distance=2cm,main node/.style={circle,fill=blue!20,draw},every
- loop/.style={min distance=1.5cm}]
-
- \node[main node] (A) {$A$};
- \node[main node] (B) [below of=A] {$B$};
- \node[main node] (C) [below of=B] {$C$};
-
- \path[every node/.style={fill=none}]
- (A) edge node[right]{$x = 1$} (B)
- (B) edge [loop right] node[right]{$x \le 99: x = x + 1$} (B)
- (B) edge node[right]{$x > 99$} (C);
-
- \end{tikzpicture}
- \caption{The CFG for Example
+ x = x + 1
+ \end{lstlisting}
+ \end{minipage}
+ \hfill
+ \begin{minipage}{0.45\textwidth}
+ \begin{tikzpicture}[->,>=stealth',shorten >=1pt,auto,node
+ distance=2cm,main node/.style={circle,fill=blue!20,draw},every
+ loop/.style={min distance=1.5cm}]
+
+ \node[main node] (A) {$A$};
+ \node[main node] (B) [below of=A] {$B$};
+ \node[main node] (C) [below of=B] {$C$};
+
+ \path[every node/.style={fill=none}]
+ (A) edge node[right]{$x = 1$} (B)
+ (B) edge [loop right] node[right]{$x \le 99: x = x + 1$} (B)
+ (B) edge node[right]{$x > 99$} (C);
+
+ \end{tikzpicture}
+ \end{minipage}
+
+ \caption{Program and CFG for Example
\ref{example:partial-ordered-construction}}
\label{fig:partial-ordered-construction}
\end{figure}
@@ -218,9 +223,10 @@ concretization functions.
\ref{fig:partial-ordered-construction}.
We will now attempt to derive a system of inequalities from this for
- the \emph{upper bound} of $x$:
+ the \emph{least upper bound} of $x$:
\begin{align*}
- ub(x) &= v \in \CZ \text{ such that } x \le v & \forall x \in \Z
+ ub: & ~\text{\bf Vars} \to \CZ \\
+ ub(x) &= \min\{v \in \CZ ~|~ x \le v\}
\end{align*}
For $A$ the value of $x$ is entirely unknown, so no useful bound can
@@ -275,7 +281,8 @@ concretization functions.
\end{example}
-\subsubsection{Lattice construction}
+\subsection{Lattice construction}
+\label{subsec:lattice-construction}
The partial-ordering formulation considered above is a helpful
presentation of the problem in terms of constraints, but an equivalent
@@ -291,164 +298,247 @@ operator ($\land$), which are defined by the following relationships:
\end{align*}
In the case that we are considering, with $x, y \in \CZ$, the meet and
-join operators correspond with $\min$ and $\max$, respectively. This
-allows us to simplify our original system of inequalities to the
-following:
+join operators correspond with $\max$ and $\min$, respectively. This
+allows us to simplify the system of inequalities in Example
+\ref{example:partial-ordered-construction} to the following following:
\begin{align*}
- ub(x_A) &\ge \infty \\
- ub(x_B) &\ge \max(1, \min(ub(x_B), 99) + 1) \\
- ub(x_C) &\ge ub(x_B)
+ ub(x_A) &= \infty \\
+ ub(x_B) &= \max(1, \min(ub(x_B), 99) + 1) \\
+ ub(x_C) &= ub(x_B)
\end{align*}
The two constraints on the upper bound of $x_B$ can be combined into
-the one constraint by taking the maximum of the two constraints (that
-is, by meeting the less restrictive constraint). This ensures that if
-the combined constraint is satisfied then both of the original
-constraints must also be satisfied.
-
-
-
-%\begin{example}
-
-In order to determine a lower bound for $x$ at each program point it
-is sufficient to determine an \emph{upper} bound for $-x$. For our
-second example we will consider the following program fragment:
-
-\begin{lstlisting}
-x = 0
-y = x
-while x < 10:
- x = x + 1
- y = y + x
-\end{lstlisting}
-
-This program, as a CFG:
-
-\begin{center}
-\begin{tikzpicture}[->,>=stealth',shorten >=1pt,auto,node
- distance=2cm,main node/.style={circle,fill=blue!20,draw},every
- loop/.style={min distance=1.5cm}]
-
- \node[main node] (A) {$A$};
- \node[main node] (B) [below of=A] {$B$};
- \node[main node] (C) [below of=B] {$C$};
-
- \path[every node/.style={fill=none}]
- (A) edge node[right]{$x = 0; y = x$} (B)
- (B) edge [loop right] node[right]{$x < 10: x = x + 1; y = y + x$} (B)
- (B) edge node[right]{$x \ge 10$} (C);
-
-\end{tikzpicture}
-\end{center}
-
-%\end{example}
+one constraint by taking the maximum of them. This is because $x >
+\max(a, b) ~\implies~ x > a \text{ and } x > b$
-We will now try to derive an equation system for the \emph{upper} and
-\emph{lower} bounds of $x$ and $y$.
-In order to properly capture the state of the variables at each state
-we will consider the abstract state as a vector of the form $(x_u,
--x_l, y_u, -y_l)$. $x_u$ and $y_u$ are the upper bounds of $x$ and $y$
-respectively. $x_l$ and $y_l$ are the lower bounds of $x$ and $y$,
-which are then negated, as explained above, to convert them into upper
-bound problems.
-Each statement in our example program is now a transformation on a
-vector rather than a scalar (as our original example was). This makes
-the equation system significantly more complex.
-
-Let us begin by deriving the equation system for the simplest node in
-the CFG, $A$.
-
-\begin{eqnarray*}
- \left(\begin{array}{c}
- x_u \\ y_u \\ -x_l \\ -y_l
- \end{array}\right)_A
- &=&
- \left(\begin{array}{c}
- \infty \\ \infty \\ \infty \\ \infty
- \end{array}\right)
-\end{eqnarray*}
-
-This is the same as saying that $x$ and $y$ each lie within the range
-$[-\infty, \infty]$. In other words: both $x$ and $y$ are unbounded at
-node $A$ and we know nothing of their possible values.
-
-For node $B$ we, again, must take into account two transformations to
-our state. The first is by the edge $A \to B$, the second by
-the edge $B \to B$. We then take the less-restrictive of these
-two bounds (which, again, is the $\max$ of the two).
-
-Let us begin with $A \to B$.
+\begin{example}
+ \label{example:both-bounds}
+
+ In order to determine a lower bound for $x$ at each program point it
+ is sufficient to determine an \emph{upper} bound for $-x$. For our
+ second example we will consider the following program fragment:
+
+ \begin{figure}[here]
+ \begin{minipage}{5cm}
+ \begin{lstlisting}
+ x = 0
+ while x <= 9:
+ x = x + 1
+ \end{lstlisting}
+ \end{minipage}
+ \hfill
+ \begin{minipage}{0.5\textwidth}
+ \begin{tikzpicture}[->,>=stealth',shorten >=1pt,auto,node
+ distance=2cm,main node/.style={circle,fill=blue!20,draw},every
+ loop/.style={min distance=1.5cm}]
+
+ \node[main node] (A) {$A$};
+ \node[main node] (B) [below of=A] {$B$};
+ \node[main node] (C) [below of=B] {$C$};
+
+ \path[every node/.style={fill=none}]
+ (A) edge node[right]{$x = 0$} (B)
+ (B) edge [loop right] node[right]{$x <= 9: x = x + 1$} (B)
+ (B) edge node[right]{$x > 9$} (C);
+
+ \end{tikzpicture}
+ \end{minipage}
+ \caption{Program and CFG for Example \ref{example:both-bounds}}
+ \label{fig:both-bounds}
+ \end{figure}
-\begin{eqnarray*}
-\left(\begin{array}{c}
-x_u \\ y_u \\ -x_l \\ -y_l
-\end{array}\right)_{AB}
-&=&
-\left(\begin{array}{c}
-0 \\ 0 \\ 0 \\ 0
-\end{array}\right) \\
-\end{eqnarray*}
+ We will now try to derive an equation system for the \emph{upper}
+ and \emph{lower} bounds of $x$.
+
+ In order to capture the state of the variables at each program point
+ we will consider the abstract state as the two-dimensional vector
+ $(ub(x), -lb(x))$, that is the upper bound of $x$, $ub(x)$, and the
+ \emph{negated} lower bound of $x$, $-lb(x)$. The greatest fixpoint
+ of our system of equations over $\CZ^2$ will then give us our bounds
+ for $ub(x)$ and $lb(x)$.
+
+ To begin with, let us once again consider the node $A$. At the point
+ of $A$ there is no information as to the bounds of $x$, so our
+ constraint must contain the entirety of $\CZ$. This corresponds to
+ $ub(x) = \infty, lb(x) = -\infty$, which gives us the following
+ inequality:
+ \begin{align*}
+ \left(\begin{array}{c}
+ ub(x)_A \\ -lb(x)_A
+ \end{array}\right)
+ &\ge
+ \left(\begin{array}{c}
+ \infty \\ \infty
+ \end{array}\right)
+ \end{align*}
-This edge merely sets $x$ to $0$ and $y$ to $x$ (which is now the
-constant $0$), so both the upper and lower bounds are $0$. This is the
-simplest sort of edge possible, as it just sets both bounds to a
-constant.
+ As before, the node $B$ is the first of particular interest to
+ us. With two incoming edges we must have two constraints for this
+ node.
-Now, on to $B \to B$.
+ The first constraint comes from the edge $A \to B$. This edge does
+ not do much of interest, it ignores the preceding value of $x$ and
+ simply sets $x$ to $1$. This is captured in the following inequality:
+ \begin{align*}
+ \left(\begin{array}{c}
+ ub(x)_B \\ -lb(x)_B
+ \end{array}\right)
+ &\ge
+ \left(\begin{array}{c}
+ 1 \\ -1
+ \end{array}\right)
+ \end{align*}
-\begin{eqnarray*}
- \left(\begin{array}{c}
- x_u \\ y_u \\ -x_l \\ -y_l
- \end{array}\right)_{BB}
- &=&
- \left(\begin{array}{cccc}
- 1 & 0 & 0 & 0 \\
- 1 & 1 & 0 & 0 \\
- 0 & 0 & 1 & 0 \\
- 0 & 0 & 1 & 1
- \end{array}\right)
- \left(\begin{array}{c}
- \min(x_u, 9) \\ y_u \\ -x_l \\ -y_l
- \end{array}\right)_B
- +
- \left(\begin{array}{c}
- 1 \\ 0 \\ -1 \\ 0
- \end{array}\right)
-\end{eqnarray*}
+ The constraint from the edge $B \to B$ is somewhat more
+ complicated. The transformation $x = x + 1$ is represented by the
+ matrix/vector operations of multiplication and
+ addition. Multiplication by the identity matrix indicates that $x$
+ itself is present in the right-hand side of the transformation,
+ while the addition of the vector \(\left(\begin{array}{c} 1 \\ -1
+ \end{array}\right) \) captures the effect of the addition on
+ each of the bounds (increasing each of the bounds by one).
+
+ The $x <= 9$ conditional, which is present on the edge, is captured
+ by the restriction on the growth of the upper bound. \(\min(ub(x)_B,
+ 9)\) ensures the upper-bound's growth is limited by the value
+ $9$. It should be noted that there is no bound placed on the
+ lower-bound as the program only bounds $x$'s growth from above on
+ this edge.
+ \begin{align*}
+ \left(\begin{array}{c}
+ ub(x)_B \\ -lb(x)_B
+ \end{array}\right)
+ &\ge
+ \left[\begin{array}{cc}
+ 1 & 0 \\
+ 0 & 1
+ \end{array}\right]
+ \left(\begin{array}{c}
+ \min(ub(x)_B, 99) \\
+ -lb(x)_B
+ \end{array}\right)
+ +
+ \left(\begin{array}{c}
+ 1 \\
+ -1
+ \end{array}\right)
+ \end{align*}
+ The edge $B \to C$ is quite simple as it simply provides another
+ restriction on the value of $x$ without any further
+ transformation. This restriction is placed on the lower-bound of $x$
+ only (leaving the upper-bound unchanged) and is captured by the
+ following inequality:
+ \begin{align*}
+ \left(\begin{array}{c}
+ ub(x)_C \\
+ -lb(x)_C
+ \end{array}\right)
+ &\ge
+ \left(\begin{array}{c}
+ ub(x)_B \\
+ \min(-lb(x)_B, 99)
+ \end{array}\right)
+ \end{align*}
+ This gives us the following inequalities for this program:
+ \begin{align*}
+ \left(\begin{array}{c}
+ ub(x)_A \\ -lb(x)_A
+ \end{array}\right)
+ &\ge
+ \left(\begin{array}{c}
+ \infty \\ \infty
+ \end{array}\right)
+ \\
+ \left(\begin{array}{c}
+ ub(x)_B \\ -lb(x)_B
+ \end{array}\right)
+ &\ge
+ \left(\begin{array}{c}
+ 1 \\ -1
+ \end{array}\right)
+ \\
+ \left(\begin{array}{c}
+ ub(x)_B \\ -lb(x)_B
+ \end{array}\right)
+ &\ge
+ \left[\begin{array}{cc}
+ 1 & 0 \\
+ 0 & 1
+ \end{array}\right]
+ \left(\begin{array}{c}
+ \min(ub(x)_B, 99) \\
+ -lb(x)_B
+ \end{array}\right)
+ +
+ \left(\begin{array}{c}
+ 1 \\
+ -1
+ \end{array}\right)
+ \\
+ \left(\begin{array}{c}
+ ub(x)_C \\
+ -lb(x)_C
+ \end{array}\right)
+ &\ge
+ \left(\begin{array}{c}
+ ub(x)_B \\
+ \min(-lb(x)_B, 99)
+ \end{array}\right)
+ \end{align*}
+ By combining these expressions as discussed in Section
+ \ref{subsec:lattice-construction} we can obtain the following system
+ of equations:
+ \begin{align*}
+ \left(\begin{array}{c}
+ ub(x)_A \\ -lb(x)_A
+ \end{array}\right)
+ &=
+ \left(\begin{array}{c}
+ \infty \\ \infty
+ \end{array}\right)
+ \\
+ \left(\begin{array}{c}
+ ub(x)_B \\ -lb(x)_B
+ \end{array}\right)
+ &=
+ \max\left(
+ \left(\begin{array}{c}
+ 1 \\ -1
+ \end{array}\right),
+ \left[\begin{array}{cc}
+ 1 & 0 \\
+ 0 & 1
+ \end{array}\right]
+ \left(\begin{array}{c}
+ \min(ub(x)_B, 99) \\
+ -lb(x)_B
+ \end{array}\right)
+ +
+ \left(\begin{array}{c}
+ 1 \\
+ -1
+ \end{array}\right)
+ \right)
+ \\
+ \left(\begin{array}{c}
+ ub(x)_C \\
+ -lb(x)_C
+ \end{array}\right)
+ &=
+ \left(\begin{array}{c}
+ ub(x)_B \\
+ \min(-lb(x)_B, 99)
+ \end{array}\right)
+ \end{align*}
-\begin{eqnarray*}
- \left(\begin{array}{c}
- x_u \\ y_u \\ -x_l \\ -y_l
- \end{array}\right)_B
- &=&
- \max\left(
- \left(\begin{array}{c}
- x_u \\ y_u \\ -x_l \\ -y_l
- \end{array}\right)_{AB},
- \left(\begin{array}{c}
- x_u \\ y_u \\ -x_l \\ -y_l
- \end{array}\right)_{BB}
- \right)
-\end{eqnarray*}
+\end{example}
-The bounds for $x$ and $y$ at node $C$ are very similar to those at
-node $B$, except that $x$ has one additional constraint added to it on
-the bottom. This changes its equation system slightly.
-\begin{eqnarray*}
- \left(\begin{array}{c}
- x_u \\ y_u \\ -x_l \\ -y_l
- \end{array}\right)_C
- &=&
- \left(\begin{array}{c}
- x_u \\ y_u \\ -x_l \\ -y_l
- \end{array}\right)_{B}
-\end{eqnarray*}
\subsection{Formalities}
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@ }}
diff --git a/tex/thesis/thesis.bbl b/tex/thesis/thesis.bbl
deleted file mode 100644
index 66241d6..0000000
--- a/tex/thesis/thesis.bbl
+++ /dev/null
@@ -1,22 +0,0 @@
-\begin{thebibliography}{2}
-\providecommand{\natexlab}[1]{#1}
-\providecommand{\url}[1]{\texttt{#1}}
-\providecommand{\urlprefix}{URL }
-\providecommand{\href}[2]{#2}
-
-\bibitem[{Cousot and Cousot(1977)}]{CousotCousot77-1}
-P{.} Cousot and R{.} Cousot. 1977.
-\newblock Abstract interpretation: a unified lattice model for static analysis
- of programs by construction or approximation of fixpoints.
-\newblock In \emph{Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT
- Symposium on Principles of Programming Languages}, pages 238--252. ACM Press,
- New York, NY, Los Angeles, California.
-
-\bibitem[{Gawlitza and Seidl(2007)}]{Gawlitza:2007:PFC:1762174.1762203}
-Thomas Gawlitza and Helmut Seidl. 2007.
-\newblock \href{http://dl.acm.org/citation.cfm?id=1762174.1762203}{Precise
- fixpoint computation through strategy iteration}.
-\newblock In \emph{Proceedings of the 16th European conference on Programming},
- ESOP'07, pages 300--315. Springer-Verlag, Berlin, Heidelberg.
-
-\end{thebibliography}
diff --git a/tex/thesis/thesis.blg b/tex/thesis/thesis.blg
deleted file mode 100644
index 5056ba2..0000000
--- a/tex/thesis/thesis.blg
+++ /dev/null
@@ -1,49 +0,0 @@
-This is BibTeX, Version 0.99d (TeX Live 2012/Debian)
-Capacity: max_strings=35307, hash_size=35307, hash_prime=30011
-The top-level auxiliary file: thesis.aux
-The style file: style/mybibstyle.bst
-Database file #1: references.bib
-Warning--I didn't find a database entry for "clark-curran:07"
-Reallocated wiz_functions (elt_size=4) to 6000 items from 3000.
-You've used 2 entries,
- 3070 wiz_defined-function locations,
- 665 strings with 5562 characters,
-and the built_in function-call counts, 1518 in all, are:
-= -- 135
-> -- 40
-< -- 4
-+ -- 14
-- -- 12
-* -- 103
-:= -- 209
-add.period$ -- 10
-call.type$ -- 2
-change.case$ -- 18
-chr.to.int$ -- 2
-cite$ -- 2
-duplicate$ -- 112
-empty$ -- 128
-format.name$ -- 22
-if$ -- 327
-int.to.chr$ -- 1
-int.to.str$ -- 1
-missing$ -- 20
-newline$ -- 17
-num.names$ -- 8
-pop$ -- 42
-preamble$ -- 1
-purify$ -- 12
-quote$ -- 0
-skip$ -- 59
-stack$ -- 0
-substring$ -- 86
-swap$ -- 64
-text.length$ -- 2
-text.prefix$ -- 0
-top$ -- 0
-type$ -- 18
-warning$ -- 0
-while$ -- 12
-width$ -- 0
-write$ -- 35
-(There was 1 warning)
diff --git a/tex/thesis/thesis.lof b/tex/thesis/thesis.lof
deleted file mode 100644
index b4ead79..0000000
--- a/tex/thesis/thesis.lof
+++ /dev/null
@@ -1,12 +0,0 @@
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\contentsline {figure}{\numberline {2.1}{\ignorespaces A simple CFG fragment.}}{5}{figure.2.1}
-\contentsline {figure}{\numberline {2.2}{\ignorespaces The CFG for Example \ref {example:partial-ordered-construction}}}{6}{figure.2.2}
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
diff --git a/tex/thesis/thesis.log b/tex/thesis/thesis.log
deleted file mode 100644
index ab332af..0000000
--- a/tex/thesis/thesis.log
+++ /dev/null
@@ -1,1598 +0,0 @@
-This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012/Debian) (format=pdflatex 2012.8.20) 5 SEP 2012 15:32
-entering extended mode
- restricted \write18 enabled.
- %&-line parsing enabled.
-**thesis
-(./thesis.tex
-LaTeX2e <2011/06/27>
-Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, lo
-aded.
-(./usydthesis.cls
-Document Class: usydthesis
-\@input{config.aux}
-\openout2 = `config.aux'.
-
-No file config.tex.
-(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsbook.cls
-Document Class: amsbook 2009/07/02 v2.20.1
-\linespacing=\dimen102
-\normalparindent=\dimen103
-\normaltopskip=\skip41
-(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
-Package: amsmath 2000/07/18 v2.13 AMS math features
-\@mathmargin=\skip42
-
-For additional information on amsmath, use the `?' option.
-(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
-Package: amstext 2000/06/29 v2.01
-
-(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
-File: amsgen.sty 1999/11/30 v2.0
-\@emptytoks=\toks14
-\ex@=\dimen104
-))
-(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
-Package: amsbsy 1999/11/29 v1.2d
-\pmbraise@=\dimen105
-)
-(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
-Package: amsopn 1999/12/14 v2.01 operator names
-)
-\inf@bad=\count79
-LaTeX Info: Redefining \frac on input line 211.
-\uproot@=\count80
-\leftroot@=\count81
-LaTeX Info: Redefining \overline on input line 307.
-\classnum@=\count82
-\DOTSCASE@=\count83
-LaTeX Info: Redefining \ldots on input line 379.
-LaTeX Info: Redefining \dots on input line 382.
-LaTeX Info: Redefining \cdots on input line 467.
-\Mathstrutbox@=\box26
-\strutbox@=\box27
-\big@size=\dimen106
-LaTeX Font Info: Redeclaring font encoding OML on input line 567.
-LaTeX Font Info: Redeclaring font encoding OMS on input line 568.
-\macc@depth=\count84
-\c@MaxMatrixCols=\count85
-\dotsspace@=\muskip10
-\c@parentequation=\count86
-\dspbrk@lvl=\count87
-\tag@help=\toks15
-\row@=\count88
-\column@=\count89
-\maxfields@=\count90
-\andhelp@=\toks16
-\eqnshift@=\dimen107
-\alignsep@=\dimen108
-\tagshift@=\dimen109
-\tagwidth@=\dimen110
-\totwidth@=\dimen111
-\lineht@=\dimen112
-\@envbody=\toks17
-\multlinegap=\skip43
-\multlinetaggap=\skip44
-\mathdisplay@stack=\toks18
-LaTeX Info: Redefining \[ on input line 2666.
-LaTeX Info: Redefining \] on input line 2667.
-)
-LaTeX Font Info: Try loading font information for U+msa on input line 367.
-
-(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
-File: umsa.fd 2009/06/22 v3.00 AMS symbols A
-)
-(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
-Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support
-\symAMSa=\mathgroup4
-\symAMSb=\mathgroup5
-LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
-(Font) U/euf/m/n --> U/euf/b/n on input line 96.
-)
-\copyins=\insert233
-\abstractbox=\box28
-\listisep=\skip45
-\c@part=\count91
-\c@chapter=\count92
-\c@section=\count93
-\c@subsection=\count94
-\c@subsubsection=\count95
-\c@paragraph=\count96
-\c@subparagraph=\count97
-\c@figure=\count98
-\c@table=\count99
-\abovecaptionskip=\skip46
-\belowcaptionskip=\skip47
-\captionindent=\dimen113
-\thm@style=\toks19
-\thm@bodyfont=\toks20
-\thm@headfont=\toks21
-\thm@notefont=\toks22
-\thm@headpunct=\toks23
-\thm@preskip=\skip48
-\thm@postskip=\skip49
-\thm@headsep=\skip50
-\dth@everypar=\toks24
-)
-(/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty
-Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)
-
-(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
-Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
-
-(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
-Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
-\KV@toks@=\toks25
-)
-(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
-Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
-
-(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
-Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
-)
-(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg
-File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live
-)
-Package graphics Info: Driver file: pdftex.def on input line 91.
-
-(/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def
-File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX
-
-(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty
-Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
-)
-(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
-Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
-)
-\Gread@gobject=\count100
-))
-\Gin@req@height=\dimen114
-\Gin@req@width=\dimen115
-)
-\epsfxsize=\dimen116
-\epsfysize=\dimen117
-)
-(./style/prettyref.sty
-Package: style/prettyref 1998/07/09 v3.0
-
-(/home/carlo/texmf/tex/latex/usydthesis/style/varioref.sty
-
-LaTeX Warning: You have requested package `varioref',
- but the package provides `style/varioref'.
-
-Package: style/varioref 2001/09/04 v1.3c package for extended references (FMi)
-\c@vrcnt=\count101
-)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
-Package: amssymb 2009/06/22 v3.00
-)
-(/usr/share/texlive/texmf-dist/tex/latex/algorithms/algorithm.sty
-Package: algorithm 2009/08/24 v0.1 Document Style `algorithm' - floating enviro
-nment
-
-(/usr/share/texlive/texmf-dist/tex/latex/float/float.sty
-Package: float 2001/11/08 v1.3d Float enhancements (AL)
-\c@float@type=\count102
-\float@exts=\toks26
-\float@box=\box29
-\@float@everytoks=\toks27
-\@floatcapt=\box30
-)
-(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
-Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
-)
-\@float@every@algorithm=\toks28
-\c@algorithm=\count103
-)
-(/usr/share/texlive/texmf-dist/tex/latex/algorithms/algorithmic.sty
-Package: algorithmic 2009/08/24 v0.1 Document Style `algorithmic'
-\c@ALC@unique=\count104
-\c@ALC@line=\count105
-\c@ALC@rem=\count106
-\c@ALC@depth=\count107
-\ALC@tlm=\skip51
-\algorithmicindent=\skip52
-)
-(./style/footmisc.sty
-Package: style/footmisc 2003/01/27 v5.2 a miscellany of footnote facilities
-\FN@temptoken=\toks29
-\footnotemargin=\dimen118
-)
-(/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty
-Package: times 2005/04/12 PSNFSS-v9.2a (SPQR)
-)
-(/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty
-Package: fontenc 2005/09/27 v1.99g Standard LaTeX package
-
-(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def
-File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file
-LaTeX Font Info: Redeclaring font encoding T1 on input line 43.
-))
-(/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty
-Package: textcomp 2005/09/27 v1.99g Standard LaTeX package
-Package textcomp Info: Sub-encoding information:
-(textcomp) 5 = only ISO-Adobe without \textcurrency
-(textcomp) 4 = 5 + \texteuro
-(textcomp) 3 = 4 + \textohm
-(textcomp) 2 = 3 + \textestimated + \textcurrency
-(textcomp) 1 = TS1 - \textcircled - \t
-(textcomp) 0 = TS1 (full)
-(textcomp) Font families with sub-encoding setting implement
-(textcomp) only a restricted character set as indicated.
-(textcomp) Family '?' is the default used for unknown fonts.
-(textcomp) See the documentation for details.
-Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 71.
-
-(/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def
-File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file
-)
-LaTeX Info: Redefining \oldstylenums on input line 266.
-Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 281.
-Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 282.
-Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 283.
-Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 284.
-Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 285.
-Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 286.
-Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 287.
-Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 288.
-Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 289.
-Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 290.
-Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 291.
-Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 292.
-Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 293.
-Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 294.
-Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 295.
-Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 296.
-Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 297.
-Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 298.
-Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 299.
-Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 300.
-Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 301.
-Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 302.
-Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 303.
-Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 304.
-
-Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 305.
-Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 306.
-Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 307.
-Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 308.
-Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 309.
-Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 310.
-Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 311.
-Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 312.
-Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 313.
-Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 314.
-Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 315.
-Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 316.
-Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 317.
-Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 318.
-Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 319.
-Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 320.
-Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 321.
-Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 322.
-Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 323.
-Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 324.
-Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 325.
-Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 326.
-Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 327.
-Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 328.
-Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 329.
-Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 330.
-Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 331.
-Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 332.
-Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 333.
-Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 334.
-Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 335.
-Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 336.
-Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 337.
-Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 338.
-Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 339.
-Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 340.
-)
-(/usr/share/texlive/texmf-dist/tex/generic/misc/texnames.sty
-This is texnames.sty, Version 1.10 <02 March 1998>
-)
-\c@lemma=\count108
-) (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty
-Package: alltt 1997/06/16 v2.0g defines alltt environment
-)
-(/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty
-\bigstrutjot=\dimen119
-)
-(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
-Package: hyperref 2012/05/13 v6.82q Hypertext links for LaTeX
-
-(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
-Package: hobsub-hyperref 2012/05/28 v1.13 Bundle oberdiek, subset hyperref (HO)
-
-
-(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
-Package: hobsub-generic 2012/05/28 v1.13 Bundle oberdiek, subset generic (HO)
-Package: hobsub 2012/05/28 v1.13 Construct package bundles (HO)
-Package hobsub Info: Skipping package `infwarerr' (already loaded).
-Package hobsub Info: Skipping package `ltxcmds' (already loaded).
-Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
-Package ifluatex Info: LuaTeX not detected.
-Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO)
-Package ifvtex Info: VTeX not detected.
-Package: intcalc 2007/09/27 v1.1 Expandable calculations with integers (HO)
-Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
-Package ifpdf Info: pdfTeX in PDF mode is detected.
-Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO)
-Package etexcmds Info: Could not find \expanded.
-(etexcmds) That can mean that you are not using pdfTeX 1.50 or
-(etexcmds) that some package has redefined \expanded.
-(etexcmds) In the latter case, load this package earlier.
-Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO)
-Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO)
-Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO
-)
-Package pdftexcmds Info: LuaTeX not detected.
-Package pdftexcmds Info: \pdf@primitive is available.
-Package pdftexcmds Info: \pdf@ifprimitive is available.
-Package pdftexcmds Info: \pdfdraftmode found.
-Package: pdfescape 2011/11/25 v1.13 Implements pdfTeX's escape features (HO)
-Package: bigintcalc 2012/04/08 v1.3 Expandable calculations on big integers (HO
-)
-Package: bitset 2011/01/30 v1.1 Handle bit-vector datatype (HO)
-Package: uniquecounter 2011/01/30 v1.2 Provide unlimited unique counter (HO)
-)
-Package hobsub Info: Skipping package `hobsub' (already loaded).
-Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO)
-Package: hopatch 2012/05/28 v1.2 Wrapper for package hooks (HO)
-Package: xcolor-patch 2011/01/30 xcolor patch
-Package: atveryend 2011/06/30 v1.8 Hooks at the very end of document (HO)
-Package atveryend Info: \enddocument detected (standard20110627).
-Package: atbegshi 2011/10/05 v1.16 At begin shipout hook (HO)
-Package: refcount 2011/10/16 v3.4 Data extraction from label references (HO)
-Package: hycolor 2011/01/30 v1.7 Color options for hyperref/bookmark (HO)
-)
-(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
-Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
-)
-(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
-Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)
-)
-\@linkdim=\dimen120
-\Hy@linkcounter=\count109
-\Hy@pagecounter=\count110
-
-(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
-File: pd1enc.def 2012/05/13 v6.82q Hyperref: PDFDocEncoding definition (HO)
-)
-\Hy@SavedSpaceFactor=\count111
-
-(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg
-File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
-)
-Package hyperref Info: Option `colorlinks' set `false' on input line 3941.
-Package hyperref Info: Option `plainpages' set `false' on input line 3941.
-
-
-Package hyperref Warning: Option `a4paper' is no longer used.
-
-Package hyperref Info: Hyper figures OFF on input line 4062.
-Package hyperref Info: Link nesting OFF on input line 4067.
-Package hyperref Info: Hyper index ON on input line 4070.
-Package hyperref Info: Plain pages OFF on input line 4077.
-Package hyperref Info: Backreferencing OFF on input line 4082.
-Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
-Package hyperref Info: Bookmarks ON on input line 4300.
-\c@Hy@tempcnt=\count112
-(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
-\Urlmuskip=\muskip11
-Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc.
-)
-LaTeX Info: Redefining \url on input line 4653.
-\Fld@menulength=\count113
-\Field@Width=\dimen121
-\Fld@charsize=\dimen122
-Package hyperref Info: Hyper figures OFF on input line 5773.
-Package hyperref Info: Link nesting OFF on input line 5778.
-Package hyperref Info: Hyper index ON on input line 5781.
-Package hyperref Info: backreferencing OFF on input line 5788.
-Package hyperref Info: Link coloring OFF on input line 5793.
-Package hyperref Info: Link coloring with OCG OFF on input line 5798.
-Package hyperref Info: PDF/A mode OFF on input line 5803.
-LaTeX Info: Redefining \ref on input line 5843.
-LaTeX Info: Redefining \pageref on input line 5847.
-\Hy@abspage=\count114
-\c@Item=\count115
-\c@Hfootnote=\count116
-)
-
-Package hyperref Message: Driver (autodetected): hpdftex.
-
-(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
-File: hpdftex.def 2012/05/13 v6.82q Hyperref driver for pdfTeX
-\Fld@listcount=\count117
-\c@bookmark@seq@number=\count118
-
-(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
-Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO)
-Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
-82.
-)
-\Hy@SectionHShift=\skip53
-)
-(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/hypcap.sty
-Package: hypcap 2011/02/16 v1.11 Adjusting the anchors of captions (HO)
-)
-(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty
-\lst@mode=\count119
-\lst@gtempboxa=\box31
-\lst@token=\toks30
-\lst@length=\count120
-\lst@currlwidth=\dimen123
-\lst@column=\count121
-\lst@pos=\count122
-\lst@lostspace=\dimen124
-\lst@width=\dimen125
-\lst@newlines=\count123
-\lst@lineno=\count124
-\lst@maxwidth=\dimen126
-
-(/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty
-File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz)
-\c@lstnumber=\count125
-\lst@skipnumbers=\count126
-\lst@framebox=\box32
-)
-(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg
-File: listings.cfg 2007/02/22 1.4 listings configuration
-))
-Package: listings 2007/02/22 1.4 (Carsten Heinz)
-
-(/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty
-Package: longtable 2004/02/01 v4.11 Multi-page Table package (DPC)
-\LTleft=\skip54
-\LTright=\skip55
-\LTpre=\skip56
-\LTpost=\skip57
-\LTchunksize=\count127
-\LTcapwidth=\dimen127
-\LT@head=\box33
-\LT@firsthead=\box34
-\LT@foot=\box35
-\LT@lastfoot=\box36
-\LT@cols=\count128
-\LT@rows=\count129
-\c@LT@tables=\count130
-\c@LT@chunks=\count131
-\LT@p@ftn=\toks31
-)
-(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
-Package: inputenc 2008/03/30 v1.1d Input encoding file
-\inpenc@prehook=\toks32
-\inpenc@posthook=\toks33
-
-(/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
-File: utf8.def 2008/04/05 v1.1m UTF-8 support for inputenc
-Now handling font encoding OML ...
-... no UTF-8 mapping file for font encoding OML
-Now handling font encoding T1 ...
-... processing UTF-8 mapping file for font encoding T1
-
-(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu
-File: t1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
- defining Unicode char U+00A1 (decimal 161)
- defining Unicode char U+00A3 (decimal 163)
- defining Unicode char U+00AB (decimal 171)
- defining Unicode char U+00BB (decimal 187)
- defining Unicode char U+00BF (decimal 191)
- defining Unicode char U+00C0 (decimal 192)
- defining Unicode char U+00C1 (decimal 193)
- defining Unicode char U+00C2 (decimal 194)
- defining Unicode char U+00C3 (decimal 195)
- defining Unicode char U+00C4 (decimal 196)
- defining Unicode char U+00C5 (decimal 197)
- defining Unicode char U+00C6 (decimal 198)
- defining Unicode char U+00C7 (decimal 199)
- defining Unicode char U+00C8 (decimal 200)
- defining Unicode char U+00C9 (decimal 201)
- defining Unicode char U+00CA (decimal 202)
- defining Unicode char U+00CB (decimal 203)
- defining Unicode char U+00CC (decimal 204)
- defining Unicode char U+00CD (decimal 205)
- defining Unicode char U+00CE (decimal 206)
- defining Unicode char U+00CF (decimal 207)
- defining Unicode char U+00D0 (decimal 208)
- defining Unicode char U+00D1 (decimal 209)
- defining Unicode char U+00D2 (decimal 210)
- defining Unicode char U+00D3 (decimal 211)
- defining Unicode char U+00D4 (decimal 212)
- defining Unicode char U+00D5 (decimal 213)
- defining Unicode char U+00D6 (decimal 214)
- defining Unicode char U+00D8 (decimal 216)
- defining Unicode char U+00D9 (decimal 217)
- defining Unicode char U+00DA (decimal 218)
- defining Unicode char U+00DB (decimal 219)
- defining Unicode char U+00DC (decimal 220)
- defining Unicode char U+00DD (decimal 221)
- defining Unicode char U+00DE (decimal 222)
- defining Unicode char U+00DF (decimal 223)
- defining Unicode char U+00E0 (decimal 224)
- defining Unicode char U+00E1 (decimal 225)
- defining Unicode char U+00E2 (decimal 226)
- defining Unicode char U+00E3 (decimal 227)
- defining Unicode char U+00E4 (decimal 228)
- defining Unicode char U+00E5 (decimal 229)
- defining Unicode char U+00E6 (decimal 230)
- defining Unicode char U+00E7 (decimal 231)
- defining Unicode char U+00E8 (decimal 232)
- defining Unicode char U+00E9 (decimal 233)
- defining Unicode char U+00EA (decimal 234)
- defining Unicode char U+00EB (decimal 235)
- defining Unicode char U+00EC (decimal 236)
- defining Unicode char U+00ED (decimal 237)
- defining Unicode char U+00EE (decimal 238)
- defining Unicode char U+00EF (decimal 239)
- defining Unicode char U+00F0 (decimal 240)
- defining Unicode char U+00F1 (decimal 241)
- defining Unicode char U+00F2 (decimal 242)
- defining Unicode char U+00F3 (decimal 243)
- defining Unicode char U+00F4 (decimal 244)
- defining Unicode char U+00F5 (decimal 245)
- defining Unicode char U+00F6 (decimal 246)
- defining Unicode char U+00F8 (decimal 248)
- defining Unicode char U+00F9 (decimal 249)
- defining Unicode char U+00FA (decimal 250)
- defining Unicode char U+00FB (decimal 251)
- defining Unicode char U+00FC (decimal 252)
- defining Unicode char U+00FD (decimal 253)
- defining Unicode char U+00FE (decimal 254)
- defining Unicode char U+00FF (decimal 255)
- defining Unicode char U+0102 (decimal 258)
- defining Unicode char U+0103 (decimal 259)
- defining Unicode char U+0104 (decimal 260)
- defining Unicode char U+0105 (decimal 261)
- defining Unicode char U+0106 (decimal 262)
- defining Unicode char U+0107 (decimal 263)
- defining Unicode char U+010C (decimal 268)
- defining Unicode char U+010D (decimal 269)
- defining Unicode char U+010E (decimal 270)
- defining Unicode char U+010F (decimal 271)
- defining Unicode char U+0110 (decimal 272)
- defining Unicode char U+0111 (decimal 273)
- defining Unicode char U+0118 (decimal 280)
- defining Unicode char U+0119 (decimal 281)
- defining Unicode char U+011A (decimal 282)
- defining Unicode char U+011B (decimal 283)
- defining Unicode char U+011E (decimal 286)
- defining Unicode char U+011F (decimal 287)
- defining Unicode char U+0130 (decimal 304)
- defining Unicode char U+0131 (decimal 305)
- defining Unicode char U+0132 (decimal 306)
- defining Unicode char U+0133 (decimal 307)
- defining Unicode char U+0139 (decimal 313)
- defining Unicode char U+013A (decimal 314)
- defining Unicode char U+013D (decimal 317)
- defining Unicode char U+013E (decimal 318)
- defining Unicode char U+0141 (decimal 321)
- defining Unicode char U+0142 (decimal 322)
- defining Unicode char U+0143 (decimal 323)
- defining Unicode char U+0144 (decimal 324)
- defining Unicode char U+0147 (decimal 327)
- defining Unicode char U+0148 (decimal 328)
- defining Unicode char U+014A (decimal 330)
- defining Unicode char U+014B (decimal 331)
- defining Unicode char U+0150 (decimal 336)
- defining Unicode char U+0151 (decimal 337)
- defining Unicode char U+0152 (decimal 338)
- defining Unicode char U+0153 (decimal 339)
- defining Unicode char U+0154 (decimal 340)
- defining Unicode char U+0155 (decimal 341)
- defining Unicode char U+0158 (decimal 344)
- defining Unicode char U+0159 (decimal 345)
- defining Unicode char U+015A (decimal 346)
- defining Unicode char U+015B (decimal 347)
- defining Unicode char U+015E (decimal 350)
- defining Unicode char U+015F (decimal 351)
- defining Unicode char U+0160 (decimal 352)
- defining Unicode char U+0161 (decimal 353)
- defining Unicode char U+0162 (decimal 354)
- defining Unicode char U+0163 (decimal 355)
- defining Unicode char U+0164 (decimal 356)
- defining Unicode char U+0165 (decimal 357)
- defining Unicode char U+016E (decimal 366)
- defining Unicode char U+016F (decimal 367)
- defining Unicode char U+0170 (decimal 368)
- defining Unicode char U+0171 (decimal 369)
- defining Unicode char U+0178 (decimal 376)
- defining Unicode char U+0179 (decimal 377)
- defining Unicode char U+017A (decimal 378)
- defining Unicode char U+017B (decimal 379)
- defining Unicode char U+017C (decimal 380)
- defining Unicode char U+017D (decimal 381)
- defining Unicode char U+017E (decimal 382)
- defining Unicode char U+200C (decimal 8204)
- defining Unicode char U+2013 (decimal 8211)
- defining Unicode char U+2014 (decimal 8212)
- defining Unicode char U+2018 (decimal 8216)
- defining Unicode char U+2019 (decimal 8217)
- defining Unicode char U+201A (decimal 8218)
- defining Unicode char U+201C (decimal 8220)
- defining Unicode char U+201D (decimal 8221)
- defining Unicode char U+201E (decimal 8222)
- defining Unicode char U+2030 (decimal 8240)
- defining Unicode char U+2031 (decimal 8241)
- defining Unicode char U+2039 (decimal 8249)
- defining Unicode char U+203A (decimal 8250)
- defining Unicode char U+2423 (decimal 9251)
-)
-Now handling font encoding OT1 ...
-... processing UTF-8 mapping file for font encoding OT1
-
-(/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu
-File: ot1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
- defining Unicode char U+00A1 (decimal 161)
- defining Unicode char U+00A3 (decimal 163)
- defining Unicode char U+00B8 (decimal 184)
- defining Unicode char U+00BF (decimal 191)
- defining Unicode char U+00C5 (decimal 197)
- defining Unicode char U+00C6 (decimal 198)
- defining Unicode char U+00D8 (decimal 216)
- defining Unicode char U+00DF (decimal 223)
- defining Unicode char U+00E6 (decimal 230)
- defining Unicode char U+00EC (decimal 236)
- defining Unicode char U+00ED (decimal 237)
- defining Unicode char U+00EE (decimal 238)
- defining Unicode char U+00EF (decimal 239)
- defining Unicode char U+00F8 (decimal 248)
- defining Unicode char U+0131 (decimal 305)
- defining Unicode char U+0141 (decimal 321)
- defining Unicode char U+0142 (decimal 322)
- defining Unicode char U+0152 (decimal 338)
- defining Unicode char U+0153 (decimal 339)
- defining Unicode char U+2013 (decimal 8211)
- defining Unicode char U+2014 (decimal 8212)
- defining Unicode char U+2018 (decimal 8216)
- defining Unicode char U+2019 (decimal 8217)
- defining Unicode char U+201C (decimal 8220)
- defining Unicode char U+201D (decimal 8221)
-)
-Now handling font encoding OMS ...
-... processing UTF-8 mapping file for font encoding OMS
-
-(/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu
-File: omsenc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
- defining Unicode char U+00A7 (decimal 167)
- defining Unicode char U+00B6 (decimal 182)
- defining Unicode char U+00B7 (decimal 183)
- defining Unicode char U+2020 (decimal 8224)
- defining Unicode char U+2021 (decimal 8225)
- defining Unicode char U+2022 (decimal 8226)
-)
-Now handling font encoding OMX ...
-... no UTF-8 mapping file for font encoding OMX
-Now handling font encoding U ...
-... no UTF-8 mapping file for font encoding U
-Now handling font encoding TS1 ...
-... processing UTF-8 mapping file for font encoding TS1
-
-(/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu
-File: ts1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
- defining Unicode char U+00A2 (decimal 162)
- defining Unicode char U+00A3 (decimal 163)
- defining Unicode char U+00A4 (decimal 164)
- defining Unicode char U+00A5 (decimal 165)
- defining Unicode char U+00A6 (decimal 166)
- defining Unicode char U+00A7 (decimal 167)
- defining Unicode char U+00A8 (decimal 168)
- defining Unicode char U+00A9 (decimal 169)
- defining Unicode char U+00AA (decimal 170)
- defining Unicode char U+00AC (decimal 172)
- defining Unicode char U+00AE (decimal 174)
- defining Unicode char U+00AF (decimal 175)
- defining Unicode char U+00B0 (decimal 176)
- defining Unicode char U+00B1 (decimal 177)
- defining Unicode char U+00B2 (decimal 178)
- defining Unicode char U+00B3 (decimal 179)
- defining Unicode char U+00B4 (decimal 180)
- defining Unicode char U+00B5 (decimal 181)
- defining Unicode char U+00B6 (decimal 182)
- defining Unicode char U+00B7 (decimal 183)
- defining Unicode char U+00B9 (decimal 185)
- defining Unicode char U+00BA (decimal 186)
- defining Unicode char U+00BC (decimal 188)
- defining Unicode char U+00BD (decimal 189)
- defining Unicode char U+00BE (decimal 190)
- defining Unicode char U+00D7 (decimal 215)
- defining Unicode char U+00F7 (decimal 247)
- defining Unicode char U+0192 (decimal 402)
- defining Unicode char U+02C7 (decimal 711)
- defining Unicode char U+02D8 (decimal 728)
- defining Unicode char U+02DD (decimal 733)
- defining Unicode char U+0E3F (decimal 3647)
- defining Unicode char U+2016 (decimal 8214)
- defining Unicode char U+2020 (decimal 8224)
- defining Unicode char U+2021 (decimal 8225)
- defining Unicode char U+2022 (decimal 8226)
- defining Unicode char U+2030 (decimal 8240)
- defining Unicode char U+2031 (decimal 8241)
- defining Unicode char U+203B (decimal 8251)
- defining Unicode char U+203D (decimal 8253)
- defining Unicode char U+2044 (decimal 8260)
- defining Unicode char U+204E (decimal 8270)
- defining Unicode char U+2052 (decimal 8274)
- defining Unicode char U+20A1 (decimal 8353)
- defining Unicode char U+20A4 (decimal 8356)
- defining Unicode char U+20A6 (decimal 8358)
- defining Unicode char U+20A9 (decimal 8361)
- defining Unicode char U+20AB (decimal 8363)
- defining Unicode char U+20AC (decimal 8364)
- defining Unicode char U+20B1 (decimal 8369)
- defining Unicode char U+2103 (decimal 8451)
- defining Unicode char U+2116 (decimal 8470)
- defining Unicode char U+2117 (decimal 8471)
- defining Unicode char U+211E (decimal 8478)
- defining Unicode char U+2120 (decimal 8480)
- defining Unicode char U+2122 (decimal 8482)
- defining Unicode char U+2126 (decimal 8486)
- defining Unicode char U+2127 (decimal 8487)
- defining Unicode char U+212E (decimal 8494)
- defining Unicode char U+2190 (decimal 8592)
- defining Unicode char U+2191 (decimal 8593)
- defining Unicode char U+2192 (decimal 8594)
- defining Unicode char U+2193 (decimal 8595)
- defining Unicode char U+2329 (decimal 9001)
- defining Unicode char U+232A (decimal 9002)
- defining Unicode char U+2422 (decimal 9250)
- defining Unicode char U+25E6 (decimal 9702)
- defining Unicode char U+25EF (decimal 9711)
- defining Unicode char U+266A (decimal 9834)
-)
-Now handling font encoding PD1 ...
-... no UTF-8 mapping file for font encoding PD1
- defining Unicode char U+00A9 (decimal 169)
- defining Unicode char U+00AA (decimal 170)
- defining Unicode char U+00AE (decimal 174)
- defining Unicode char U+00BA (decimal 186)
- defining Unicode char U+02C6 (decimal 710)
- defining Unicode char U+02DC (decimal 732)
- defining Unicode char U+200C (decimal 8204)
- defining Unicode char U+2026 (decimal 8230)
- defining Unicode char U+2122 (decimal 8482)
- defining Unicode char U+2423 (decimal 9251)
-))
-(/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty
-Package: subfigure 2002/03/15 v2.1.5 subfigure package
-\subfigtopskip=\skip58
-\subfigcapskip=\skip59
-\subfigcaptopadj=\dimen128
-\subfigbottomskip=\skip60
-\subfigcapmargin=\dimen129
-\subfiglabelskip=\skip61
-\c@subfigure=\count132
-\c@lofdepth=\count133
-\c@subtable=\count134
-\c@lotdepth=\count135
-
-****************************************
-* Local config file subfigure.cfg used *
-****************************************
-(/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)
-\subfig@top=\skip62
-\subfig@bottom=\skip63
-)
-(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/pdflscape.sty
-Package: pdflscape 2008/08/11 v0.10 Display of landscape pages in PDF (HO)
-
-(/usr/share/texlive/texmf-dist/tex/latex/graphics/lscape.sty
-Package: lscape 2000/10/22 v3.01 Landscape Pages (DPC)
-)
-Package pdflscape Info: Auto-detected driver: pdftex on input line 80.
-)
-(/usr/share/texmf/tex/latex/pgf/basiclayer/pgf.sty
-(/usr/share/texmf/tex/latex/pgf/utilities/pgfrcs.sty
-(/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-common.tex
-\pgfutil@everybye=\toks34
-)
-(/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-latex.def
-\pgfutil@abb=\box37
-
-(/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty
-Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS)
-))
-(/usr/share/texmf/tex/generic/pgf/utilities/pgfrcs.code.tex
-Package: pgfrcs 2010/10/25 v2.10 (rcs-revision 1.24)
-))
-Package: pgf 2008/01/15 v2.10 (rcs-revision 1.12)
-
-(/usr/share/texmf/tex/latex/pgf/basiclayer/pgfcore.sty
-(/usr/share/texmf/tex/latex/pgf/systemlayer/pgfsys.sty
-(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys.code.tex
-Package: pgfsys 2010/06/30 v2.10 (rcs-revision 1.37)
-
-(/usr/share/texmf/tex/generic/pgf/utilities/pgfkeys.code.tex
-\pgfkeys@pathtoks=\toks35
-\pgfkeys@temptoks=\toks36
-
-(/usr/share/texmf/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex
-\pgfkeys@tmptoks=\toks37
-))
-\pgf@x=\dimen130
-\pgf@y=\dimen131
-\pgf@xa=\dimen132
-\pgf@ya=\dimen133
-\pgf@xb=\dimen134
-\pgf@yb=\dimen135
-\pgf@xc=\dimen136
-\pgf@yc=\dimen137
-\w@pgf@writea=\write3
-\r@pgf@reada=\read1
-\c@pgf@counta=\count136
-\c@pgf@countb=\count137
-\c@pgf@countc=\count138
-\c@pgf@countd=\count139
-
-(/usr/share/texmf/tex/generic/pgf/systemlayer/pgf.cfg
-File: pgf.cfg 2008/05/14 (rcs-revision 1.7)
-)
-Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 900.
-
-(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
-File: pgfsys-pdftex.def 2009/05/22 (rcs-revision 1.26)
-
-(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def
-File: pgfsys-common-pdf.def 2008/05/19 (rcs-revision 1.10)
-)))
-(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
-File: pgfsyssoftpath.code.tex 2008/07/18 (rcs-revision 1.7)
-\pgfsyssoftpath@smallbuffer@items=\count140
-\pgfsyssoftpath@bigbuffer@items=\count141
-)
-(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
-File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4)
-))
-(/usr/share/texmf/tex/latex/xcolor/xcolor.sty
-Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK)
-
-(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg
-File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
-)
-Package xcolor Info: Driver file: pdftex.def on input line 225.
-Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337.
-Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341.
-Package xcolor Info: Model `RGB' extended on input line 1353.
-Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355.
-Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356.
-Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357.
-Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358.
-Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359.
-Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360.
-)
-(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcore.code.tex
-Package: pgfcore 2010/04/11 v2.10 (rcs-revision 1.7)
-
-(/usr/share/texmf/tex/generic/pgf/math/pgfmath.code.tex
-(/usr/share/texmf/tex/generic/pgf/math/pgfmathcalc.code.tex
-(/usr/share/texmf/tex/generic/pgf/math/pgfmathutil.code.tex)
-(/usr/share/texmf/tex/generic/pgf/math/pgfmathparser.code.tex
-\pgfmath@dimen=\dimen138
-\pgfmath@count=\count142
-\pgfmath@box=\box38
-\pgfmath@toks=\toks38
-\pgfmath@stack@operand=\toks39
-\pgfmath@stack@operation=\toks40
-)
-(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.code.tex
-(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex)
-(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex)
-(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.random.code.tex)
-(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex)
-(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.base.code.tex)
-(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.round.code.tex)
-(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex)))
-(/usr/share/texmf/tex/generic/pgf/math/pgfmathfloat.code.tex
-\c@pgfmathroundto@lastzeros=\count143
-))
-(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
-File: pgfcorepoints.code.tex 2010/04/09 (rcs-revision 1.20)
-\pgf@picminx=\dimen139
-\pgf@picmaxx=\dimen140
-\pgf@picminy=\dimen141
-\pgf@picmaxy=\dimen142
-\pgf@pathminx=\dimen143
-\pgf@pathmaxx=\dimen144
-\pgf@pathminy=\dimen145
-\pgf@pathmaxy=\dimen146
-\pgf@xx=\dimen147
-\pgf@xy=\dimen148
-\pgf@yx=\dimen149
-\pgf@yy=\dimen150
-\pgf@zx=\dimen151
-\pgf@zy=\dimen152
-)
-(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
-File: pgfcorepathconstruct.code.tex 2010/08/03 (rcs-revision 1.24)
-\pgf@path@lastx=\dimen153
-\pgf@path@lasty=\dimen154
-)
-(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
-File: pgfcorepathusage.code.tex 2008/04/22 (rcs-revision 1.12)
-\pgf@shorten@end@additional=\dimen155
-\pgf@shorten@start@additional=\dimen156
-)
-(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
-File: pgfcorescopes.code.tex 2010/09/08 (rcs-revision 1.34)
-\pgfpic=\box39
-\pgf@hbox=\box40
-\pgf@layerbox@main=\box41
-\pgf@picture@serial@count=\count144
-)
-(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
-File: pgfcoregraphicstate.code.tex 2008/04/22 (rcs-revision 1.9)
-\pgflinewidth=\dimen157
-)
-(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex
-File: pgfcoretransformations.code.tex 2009/06/10 (rcs-revision 1.11)
-\pgf@pt@x=\dimen158
-\pgf@pt@y=\dimen159
-\pgf@pt@temp=\dimen160
-)
-(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
-File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3)
-)
-(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
-File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2)
-)
-(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex
-File: pgfcorepathprocessing.code.tex 2008/10/09 (rcs-revision 1.8)
-)
-(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex
-File: pgfcorearrows.code.tex 2008/04/23 (rcs-revision 1.11)
-)
-(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
-File: pgfcoreshade.code.tex 2008/11/23 (rcs-revision 1.13)
-\pgf@max=\dimen161
-\pgf@sys@shading@range@num=\count145
-)
-(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
-File: pgfcoreimage.code.tex 2010/03/25 (rcs-revision 1.16)
-
-(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex
-File: pgfcoreexternal.code.tex 2010/09/01 (rcs-revision 1.17)
-\pgfexternal@startupbox=\box42
-))
-(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex
-File: pgfcorelayers.code.tex 2010/08/27 (rcs-revision 1.2)
-)
-(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex
-File: pgfcoretransparency.code.tex 2008/01/17 (rcs-revision 1.2)
-)
-(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
-File: pgfcorepatterns.code.tex 2009/07/02 (rcs-revision 1.3)
-)))
-(/usr/share/texmf/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
-File: pgfmoduleshapes.code.tex 2010/09/09 (rcs-revision 1.13)
-\pgfnodeparttextbox=\box43
-)
-(/usr/share/texmf/tex/generic/pgf/modules/pgfmoduleplot.code.tex
-File: pgfmoduleplot.code.tex 2010/10/22 (rcs-revision 1.8)
-)
-(/usr/share/texmf/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
-Package: pgfcomp-version-0-65 2007/07/03 v2.10 (rcs-revision 1.7)
-\pgf@nodesepstart=\dimen162
-\pgf@nodesepend=\dimen163
-)
-(/usr/share/texmf/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
-Package: pgfcomp-version-1-18 2007/07/23 v2.10 (rcs-revision 1.1)
-))
-(/usr/share/texlive/texmf-dist/tex/latex/psnfss/pifont.sty
-Package: pifont 2005/04/12 PSNFSS-v9.2a Pi font support (SPQR)
-LaTeX Font Info: Try loading font information for U+pzd on input line 63.
-
-(/usr/share/texlive/texmf-dist/tex/latex/psnfss/upzd.fd
-File: upzd.fd 2001/06/04 font definitions for U/pzd.
-)
-LaTeX Font Info: Try loading font information for U+psy on input line 64.
-
-(/usr/share/texlive/texmf-dist/tex/latex/psnfss/upsy.fd
-File: upsy.fd 2001/06/04 font definitions for U/psy.
-))
-(/usr/share/texlive/texmf-dist/tex/latex/qtree/qtree.sty
-Package: 2008/12/12 v.3.1bQtree: tree-drawing for linguistics
-Package: qtree 2008/12/12 v.3.1bQtree: tree-drawing for linguistics
-(/usr/share/texlive/texmf-dist/tex/latex/pict2e/pict2e.sty
-Package: pict2e 2011/04/05 v0.2y Improved picture commands (HjG,RN,JT)
-
-(/usr/share/texlive/texmf-dist/tex/latex/pict2e/pict2e.cfg
-File: pict2e.cfg 2011/04/05 v0.1t pict2e configuration for teTeX/TeXLive
-)
-Package pict2e Info: Driver file: pdftex.def on input line 119.
-Package pict2e Info: Driver file for pict2e: p2e-pdftex.def on input line 121.
-
-(/usr/share/texlive/texmf-dist/tex/latex/pict2e/p2e-pdftex.def
-File: p2e-pdftex.def 2011/04/05 v0.1t Driver-dependant file (RN,HjG,JT)
-)
-\pIIe@GRAPH=\toks41
-\@arclen=\dimen164
-\@arcrad=\dimen165
-\@tempdimd=\dimen166
-)
-\c@treecount=\count146
-\c@branchcount=\count147
-\parentbox=\box44
-\treebox=\box45
-\treeboxone=\box46
-\treeboxtwo=\box47
-\treeboxthree=\box48
-\treeboxfour=\box49
-\treeboxfive=\box50
-\treeboxsix=\box51
-\treeboxseven=\box52
-\treeboxeight=\box53
-\treeboxnine=\box54
-\treeboxten=\box55
-\treeboxeleven=\box56
-\treeboxtwelve=\box57
-\treeboxthirteen=\box58
-\treeboxfourteen=\box59
-\treeboxfifteen=\box60
-\treeboxsixteen=\box61
-\treeboxseventeen=\box62
-\treeboxeighteen=\box63
-\treeboxnineteen=\box64
-\treeboxtwenty=\box65
-\treeoffsetone=\skip64
-\treeoffsettwo=\skip65
-\treeoffsetthree=\skip66
-\treeoffsetfour=\skip67
-\treeoffsetfive=\skip68
-\treeoffsetsix=\skip69
-\treeoffsetseven=\skip70
-\treeoffseteight=\skip71
-\treeoffsetnine=\skip72
-\treeoffsetten=\skip73
-\treeoffseteleven=\skip74
-\treeoffsettwelve=\skip75
-\treeoffsetthirteen=\skip76
-\treeoffsetfourteen=\skip77
-\treeoffsetfifteen=\skip78
-\treeoffsetsixteen=\skip79
-\treeoffsetseventeen=\skip80
-\treeoffseteighteen=\skip81
-\treeoffsetnineteen=\skip82
-\treeoffsettwenty=\skip83
-\treeshiftone=\skip84
-\treeshifttwo=\skip85
-\treeshiftthree=\skip86
-\treeshiftfour=\skip87
-\treeshiftfive=\skip88
-\treeshiftsix=\skip89
-\treeshiftseven=\skip90
-\treeshifteight=\skip91
-\treeshiftnine=\skip92
-\treeshiftten=\skip93
-\treeshifteleven=\skip94
-\treeshifttwelve=\skip95
-\treeshiftthirteen=\skip96
-\treeshiftfourteen=\skip97
-\treeshiftfifteen=\skip98
-\treeshiftsixteen=\skip99
-\treeshiftseventeen=\skip100
-\treeshifteighteen=\skip101
-\treeshiftnineteen=\skip102
-\treeshifttwenty=\skip103
-\treewidthone=\skip104
-\treewidthtwo=\skip105
-\treewidththree=\skip106
-\treewidthfour=\skip107
-\treewidthfive=\skip108
-\treewidthsix=\skip109
-\treewidthseven=\skip110
-\treewidtheight=\skip111
-\treewidthnine=\skip112
-\treewidthten=\skip113
-\treewidtheleven=\skip114
-\treewidthtwelve=\skip115
-\treewidththirteen=\skip116
-\treewidthfourteen=\skip117
-\treewidthfifteen=\skip118
-\treewidthsixteen=\skip119
-\treewidthseventeen=\skip120
-\treewidtheighteen=\skip121
-\treewidthnineteen=\skip122
-\treewidthtwenty=\skip123
-\daughteroffsetone=\skip124
-\daughteroffsettwo=\skip125
-\daughteroffsetthree=\skip126
-\daughteroffsetfour=\skip127
-\branchwidthone=\skip128
-\branchwidthtwo=\skip129
-\branchwidththree=\skip130
-\branchwidthfour=\skip131
-\parentoffset=\skip132
-\treeoffset=\skip133
-\daughteroffset=\skip134
-\branchwidth=\skip135
-\parentwidth=\skip136
-\treewidth=\skip137
-\qta=\toks42
-\qtb=\toks43
-\nbranches=\count148
-\qroofx=\count149
-\qroofy=\count150
-\@qrscratchbox=\box66
-)
-(/usr/share/texlive/texmf-dist/tex/latex/rccol/rccol.sty
-Package: rccol 2005/05/17 v1.2c right-centered columns
-
-(/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty
-Package: array 2008/09/09 v2.4c Tabular extension package (FMi)
-\col@sep=\dimen167
-\extrarowheight=\dimen168
-\NC@list=\toks44
-\extratabsurround=\skip138
-\backup@length=\skip139
-)
-(/usr/share/texlive/texmf-dist/tex/generic/fltpoint/fltpoint.sty
-Package: fltpoint 2004/11/12 v1.1b floating point arithmetic
-
-(/usr/share/texlive/texmf-dist/tex/generic/fltpoint/fltpoint.tex
-\fp@loopcount=\count151
-\fp@loopcountii=\count152
-\fp@result=\count153
-\fp@carryover=\count154
-\fp@tempcount=\count155
-\fp@tempcountii=\count156
-))
-\rc@preskip=\dimen169
-\rc@postskip=\dimen170
-\rc@digits=\toks45
-\rc@preothertoks=\toks46
-\rc@postothertoks=\toks47
-)
-(/usr/share/texlive/texmf-dist/tex/latex/rotating/rotating.sty
-Package: rotating 2009/03/28 v2.16a rotated objects in LaTeX
-\c@r@tfl@t=\count157
-\rotFPtop=\skip140
-\rotFPbot=\skip141
-\rot@float@box=\box67
-\rot@mess@toks=\toks48
-)
-(/usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty
-Package: setspace 2011/12/19 v6.7a set line spacing
-)
-(./style/bib.sty
-Package: style/bib
- (/usr/share/texlive/texmf-dist/tex/latex/natbib/natbib.sty
-Package: natbib 2010/09/13 8.31b (PWD, AO)
-\bibhang=\skip142
-\bibsep=\skip143
-LaTeX Info: Redefining \cite on input line 694.
-\c@NAT@ctr=\count158
-))
-(/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty
-Package: tabularx 1999/01/07 v2.07 `tabularx' package (DPC)
-\TX@col@width=\dimen171
-\TX@old@table=\dimen172
-\TX@old@col=\dimen173
-\TX@target=\dimen174
-\TX@delta=\dimen175
-\TX@cols=\count159
-\TX@ftn=\toks49
-)
-(/usr/share/texmf/tex/latex/tipa/tipa.sty
-Package: tipa 2002/08/08 TIPA version 1.1
-
-(/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty
-Package: fontenc 2005/09/27 v1.99g Standard LaTeX package
-
-(/usr/share/texmf/tex/latex/tipa/t3enc.def
-File: t3enc.def 2001/12/31 T3 encoding
-Now handling font encoding T3 ...
-... no UTF-8 mapping file for font encoding T3
-LaTeX Font Info: Try loading font information for T1+phv on input line 357.
-
-(/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd
-File: t1phv.fd 2001/06/04 scalable font definitions for T1/phv.
-))
-(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def
-File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file
-LaTeX Font Info: Redeclaring font encoding T1 on input line 43.
-)))
-(/usr/share/texlive/texmf-dist/tex/latex/wrapfig/wrapfig.sty
-\wrapoverhang=\dimen176
-\WF@size=\dimen177
-\c@WF@wrappedlines=\count160
-\WF@box=\box68
-\WF@everypar=\toks50
-Package: wrapfig 2003/01/31 v 3.6
-)
-(/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty
-Package: xspace 2009/10/20 v1.13 Space after command names (DPC,MH)
-)
-(/usr/share/texlive/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty
-Package: stmaryrd 1994/03/03 St Mary's Road symbol package
-\symstmry=\mathgroup6
-LaTeX Font Info: Overwriting symbol font `stmry' in version `bold'
-(Font) U/stmry/m/n --> U/stmry/b/n on input line 89.
-)
-(/usr/share/texmf/tex/latex/pgf/frontendlayer/tikz.sty
-(/usr/share/texmf/tex/latex/pgf/utilities/pgffor.sty
-(/usr/share/texmf/tex/latex/pgf/utilities/pgfkeys.sty
-(/usr/share/texmf/tex/generic/pgf/utilities/pgfkeys.code.tex))
-(/usr/share/texmf/tex/generic/pgf/utilities/pgffor.code.tex
-Package: pgffor 2010/03/23 v2.10 (rcs-revision 1.18)
-\pgffor@iter=\dimen178
-\pgffor@skip=\dimen179
-\pgffor@stack=\toks51
-\pgffor@toks=\toks52
-))
-(/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
-Package: tikz 2010/10/13 v2.10 (rcs-revision 1.76)
-
-(/usr/share/texmf/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex
-File: pgflibraryplothandlers.code.tex 2010/05/31 v2.10 (rcs-revision 1.15)
-\pgf@plot@mark@count=\count161
-\pgfplotmarksize=\dimen180
-)
-\tikz@lastx=\dimen181
-\tikz@lasty=\dimen182
-\tikz@lastxsaved=\dimen183
-\tikz@lastysaved=\dimen184
-\tikzleveldistance=\dimen185
-\tikzsiblingdistance=\dimen186
-\tikz@figbox=\box69
-\tikz@tempbox=\box70
-\tikztreelevel=\count162
-\tikznumberofchildren=\count163
-\tikznumberofcurrentchild=\count164
-\tikz@fig@count=\count165
-
-(/usr/share/texmf/tex/generic/pgf/modules/pgfmodulematrix.code.tex
-File: pgfmodulematrix.code.tex 2010/08/24 (rcs-revision 1.4)
-\pgfmatrixcurrentrow=\count166
-\pgfmatrixcurrentcolumn=\count167
-\pgf@matrix@numberofcolumns=\count168
-)
-\tikz@expandcount=\count169
-
-(/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopat
-hs.code.tex
-File: tikzlibrarytopaths.code.tex 2008/06/17 v2.10 (rcs-revision 1.2)
-))) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty
-File: lstlang1.sty 2004/09/05 1.3 listings language file
-)
-(/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrow
-s.code.tex
-File: tikzlibraryarrows.code.tex 2008/01/09 v2.10 (rcs-revision 1.1)
-
-(/usr/share/texmf/tex/generic/pgf/libraries/pgflibraryarrows.code.tex
-File: pgflibraryarrows.code.tex 2008/10/27 v2.10 (rcs-revision 1.9)
-\arrowsize=\dimen187
-))
-\c@example=\count170
-
-(./thesis.aux)
-\openout1 = `thesis.aux'.
-
-LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 84.
-LaTeX Font Info: ... okay on input line 84.
-LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 84.
-LaTeX Font Info: ... okay on input line 84.
-LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 84.
-LaTeX Font Info: ... okay on input line 84.
-LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 84.
-LaTeX Font Info: ... okay on input line 84.
-LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 84.
-LaTeX Font Info: ... okay on input line 84.
-LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 84.
-LaTeX Font Info: ... okay on input line 84.
-LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 84.
-LaTeX Font Info: Try loading font information for TS1+cmr on input line 84.
- (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd
-File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
-)
-LaTeX Font Info: ... okay on input line 84.
-LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 84.
-LaTeX Font Info: ... okay on input line 84.
-LaTeX Font Info: Checking defaults for T3/cmr/m/n on input line 84.
-LaTeX Font Info: Try loading font information for T3+cmr on input line 84.
-
-(/usr/share/texmf/tex/latex/tipa/t3cmr.fd
-File: t3cmr.fd 2001/12/31 TIPA font definitions
-)
-LaTeX Font Info: ... okay on input line 84.
-LaTeX Font Info: Try loading font information for T1+ptm on input line 84.
-
-(/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd
-File: t1ptm.fd 2001/06/04 font definitions for T1/ptm.
-)
-LaTeX Font Info: Try loading font information for U+msa on input line 84.
-
-(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
-File: umsa.fd 2009/06/22 v3.00 AMS symbols A
-)
-LaTeX Font Info: Try loading font information for U+msb on input line 84.
-
-(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
-File: umsb.fd 2009/06/22 v3.00 AMS symbols B
-)
-LaTeX Font Info: Try loading font information for U+stmry on input line 84.
-
-(/usr/share/texlive/texmf-dist/tex/latex/stmaryrd/Ustmry.fd)
-(/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii
-[Loading MPS to PDF converter (version 2006.09.02).]
-\scratchcounter=\count171
-\scratchdimen=\dimen188
-\scratchbox=\box71
-\nofMPsegments=\count172
-\nofMParguments=\count173
-\everyMPshowfont=\toks53
-\MPscratchCnt=\count174
-\MPscratchDim=\dimen189
-\MPnumerator=\count175
-\makeMPintoPDFobject=\count176
-\everyMPtoPDFconversion=\toks54
-) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
-Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf
-
-(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty
-Package: grfext 2010/08/19 v1.1 Manage graphics extensions (HO)
-)
-Package grfext Info: Graphics extension search list:
-(grfext) [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE
-G,.JBIG2,.JB2,.eps]
-(grfext) \AppendGraphicsExtensions on input line 452.
-
-(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
-File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
-e
-))
-\AtBeginShipoutBox=\box72
-Package hyperref Info: Link coloring OFF on input line 84.
-
-(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
-Package: nameref 2010/04/30 v2.40 Cross-referencing by name of section
-
-(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
-Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO)
-)
-\c@section@level=\count177
-)
-LaTeX Info: Redefining \ref on input line 84.
-LaTeX Info: Redefining \pageref on input line 84.
-LaTeX Info: Redefining \nameref on input line 84.
-
-(./thesis.out) (./thesis.out)
-\@outlinefile=\write4
-\openout4 = `thesis.out'.
-
-LaTeX Info: Redefining \Ref on input line 84.
-\c@lstlisting=\count178
- ABD: EveryShipout initializing macros
-(./morenames.tex)
-LaTeX Font Info: Font shape `T1/ptm/bx/n' in size <17.28> not available
-(Font) Font shape `T1/ptm/b/n' tried instead on input line 97.
- <usyd-primary-colour.pdf, id=89, 293.095pt x 101.37875pt>
-File: usyd-primary-colour.pdf Graphic file (type pdf)
-
-<use usyd-primary-colour.pdf>
-Package pdftex.def Info: usyd-primary-colour.pdf used on input line 97.
-(pdftex.def) Requested size: 290.21811pt x 100.38382pt.
- [1
-
-
-
-
-{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} <./usyd-primary-colour.pdf>
-] (./plagiarism/plagiarism.tex
-Student Plagiarism: Compliance Statement
-LaTeX Font Info: Font shape `T1/ptm/bx/n' in size <10.95> not available
-(Font) Font shape `T1/ptm/b/n' tried instead on input line 1.
-LaTeX Font Info: Font shape `T1/ptm/bx/n' in size <14.4> not available
-(Font) Font shape `T1/ptm/b/n' tried instead on input line 1.
-) [2
-
-
-
-
-] (./abstract/abstract.tex
-Abstract
-) [3
-
-
-
-
-] (./thanks/thanks.tex
-Acknowledgements
-) [4
-
-
-
-
-]
-\normalfont \scshape {Contents}
-(./thesis.toc)
-\tf@toc=\write5
-\openout5 = `thesis.toc'.
-
- [5
-
-
-
-
-]
-List of Figures
-(./thesis.lof)
-\tf@lof=\write6
-\openout6 = `thesis.lof'.
-
- [6
-
-
-]
-List of Tables
-(./thesis.lot)
-\tf@lot=\write7
-\openout7 = `thesis.lot'.
-
- [7
-
-
-] (./introduction/introduction.tex
-Chapter 1
-
-Package natbib Warning: Citation `clark-curran:07' on page 1 undefined on input
- line 3.
-
-
-Package natbib Warning: Citation `clark-curran:07' on page 1 undefined on input
- line 3.
-
-) (./litreview/litreview.tex [1
-
-
-
-
-]
-Chapter 2
-LaTeX Font Info: Font shape `T1/ptm/bx/n' in size <12> not available
-(Font) Font shape `T1/ptm/b/n' tried instead on input line 30.
-
-Underfull \vbox (badness 10000) has occurred while \output is active []
-
- [2
-
-
-]
-Underfull \vbox (badness 10000) has occurred while \output is active []
-
- [3]
-Underfull \vbox (badness 3049) has occurred while \output is active []
-
- [4]
-Underfull \vbox (badness 10000) has occurred while \output is active []
-
- [5]
-[6]
-Underfull \vbox (badness 10000) has occurred while \output is active []
-
- [7]
-
-LaTeX Warning: Command \; invalid in math mode on input line 291.
-
-LaTeX Font Info: Try loading font information for T3+ptm on input line 291.
-(/usr/share/texmf/tex/latex/tipa/t3ptm.fd
-File: t3ptm.fd 2001/12/31 TIPA font definitions
-)
-
-LaTeX Warning: Command \; invalid in math mode on input line 291.
-
-
-LaTeX Warning: Command \; invalid in math mode on input line 291.
-
-
-LaTeX Warning: Command \; invalid in math mode on input line 291.
-
-
-LaTeX Warning: Command \; invalid in math mode on input line 291.
-
-
-LaTeX Warning: Command \; invalid in math mode on input line 291.
-
-
-LaTeX Warning: Command \; invalid in math mode on input line 291.
-
-
-LaTeX Warning: Command \; invalid in math mode on input line 291.
-
-
-LaTeX Warning: Command \; invalid in math mode on input line 291.
-
-
-LaTeX Warning: Command \; invalid in math mode on input line 291.
-
-
-LaTeX Warning: Command \; invalid in math mode on input line 291.
-
-
-LaTeX Warning: Command \; invalid in math mode on input line 291.
-
-
-LaTeX Warning: Command \; invalid in math mode on input line 291.
-
-
-LaTeX Warning: Command \; invalid in math mode on input line 291.
-
-
-LaTeX Warning: Command \; invalid in math mode on input line 291.
-
-
-LaTeX Warning: Command \; invalid in math mode on input line 291.
-
-[8]
-Underfull \vbox (badness 2726) has occurred while \output is active []
-
- [9]
-Underfull \vbox (badness 10000) has occurred while \output is active []
-
- [10])
-(./evaluation/evaluation.tex [11]
-Chapter 3
-) (./experiments/experiments.tex [12
-
-
-]
-Chapter 4
-) (./results/results.tex [13
-
-
-]
-Chapter 5
-) (./conclusion/conclusion.tex [14
-
-
-]
-Chapter 6
-) [15
-
-
-] (./thesis.bbl
-Bibliography
-)
-
-Package natbib Warning: There were undefined citations.
-
-Package atveryend Info: Empty hook `BeforeClearDocument' on input line 159.
-[16
-
-
-
-
-]
-Package atveryend Info: Empty hook `AfterLastShipout' on input line 159.
- (./thesis.aux)
-Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 159.
-Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 159.
-Package rerunfilecheck Info: File `thesis.out' has not changed.
-(rerunfilecheck) Checksum: 5350AEC266B849F3FCD73DB4344F0830;1327.
-Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 159.
- )
-Here is how much of TeX's memory you used:
- 20674 strings out of 495059
- 334890 string characters out of 3182030
- 423198 words of memory out of 3000000
- 23101 multiletter control sequences out of 15000+200000
- 68280 words of font info for 85 fonts, out of 3000000 for 9000
- 175 hyphenation exceptions out of 8191
- 49i,12n,53p,410b,1792s stack positions out of 5000i,500n,10000p,200000b,50000s
-{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}</usr/share/texliv
-e/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texlive/texm
-f-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist
-/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/share/texlive/texmf-dist/fonts/
-type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/p
-ublic/amsfonts/cm/cmr8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/am
-sfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts
-/symbols/msbm10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/stmaryrd/
-stmary10.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></
-usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texli
-ve/texmf-dist/fonts/type1/urw/times/utmri8a.pfb>
-Output written on thesis.pdf (23 pages, 156464 bytes).
-PDF statistics:
- 314 PDF objects out of 1000 (max. 8388607)
- 274 compressed objects within 3 object streams
- 66 named destinations out of 1000 (max. 500000)
- 186 words of extra memory for PDF output out of 10000 (max. 10000000)
-
diff --git a/tex/thesis/thesis.lot b/tex/thesis/thesis.lot
deleted file mode 100644
index de6a106..0000000
--- a/tex/thesis/thesis.lot
+++ /dev/null
@@ -1,10 +0,0 @@
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
diff --git a/tex/thesis/thesis.out b/tex/thesis/thesis.out
deleted file mode 100644
index ab01354..0000000
--- a/tex/thesis/thesis.out
+++ /dev/null
@@ -1,21 +0,0 @@
-\BOOKMARK [0][-]{chapter*.2}{Student Plagiarism: Compliance Statement}{}% 1
-\BOOKMARK [0][-]{chapter*.4}{Abstract}{}% 2
-\BOOKMARK [0][-]{chapter*.6}{Acknowledgements}{}% 3
-\BOOKMARK [0][-]{chapter*.6}{List of Figures}{}% 4
-\BOOKMARK [0][-]{chapter*.6}{List of Tables}{}% 5
-\BOOKMARK [0][-]{chapter.1}{Chapter 1. Introduction}{}% 6
-\BOOKMARK [0][-]{chapter.2}{Chapter 2. Literature Review}{}% 7
-\BOOKMARK [1][-]{section.2.1}{2.1. Program Semantics}{chapter.2}% 8
-\BOOKMARK [1][-]{section.2.2}{2.2. Abstract Interpretation}{chapter.2}% 9
-\BOOKMARK [2][-]{subsection.2.2.1}{2.2.1. General Framework}{section.2.2}% 10
-\BOOKMARK [2][-]{subsection.2.2.2}{2.2.2. Intervals}{section.2.2}% 11
-\BOOKMARK [2][-]{subsection.2.2.3}{2.2.3. Zones}{section.2.2}% 12
-\BOOKMARK [1][-]{section.2.3}{2.3. Min/max problem}{chapter.2}% 13
-\BOOKMARK [2][-]{subsection.2.3.1}{2.3.1. Partial-ordering Formulation}{section.2.3}% 14
-\BOOKMARK [2][-]{subsection.2.3.2}{2.3.2. Formalities}{section.2.3}% 15
-\BOOKMARK [2][-]{subsection.2.3.3}{2.3.3. Example solve}{section.2.3}% 16
-\BOOKMARK [0][-]{chapter.3}{Chapter 3. Evaluation}{}% 17
-\BOOKMARK [0][-]{chapter.4}{Chapter 4. Experiments}{}% 18
-\BOOKMARK [0][-]{chapter.5}{Chapter 5. Results}{}% 19
-\BOOKMARK [0][-]{chapter.6}{Chapter 6. Conclusion}{}% 20
-\BOOKMARK [0][-]{chapter*.8}{Bibliography}{}% 21
diff --git a/tex/thesis/thesis.tex b/tex/thesis/thesis.tex
index f8ea52c..6983d79 100644
--- a/tex/thesis/thesis.tex
+++ b/tex/thesis/thesis.tex
@@ -37,7 +37,12 @@
\usepackage{xcolor}
\usepackage{xspace}
\usepackage{stmaryrd,tikz}
-\lstset{language={Python}, literate={<=}{$\le$}{1}, frame=tlrb}
+
+\usepackage{float}
+\floatstyle{boxed}
+\restylefloat{figure}
+
+\lstset{language={Python}, literate={<=}{$\le$}{1}}%, frame=tlrb}
\usetikzlibrary{arrows}
\newcommand\R{\mathbb{R}}
\newcommand\Z{\mathbb{Z}}
diff --git a/tex/thesis/thesis.toc b/tex/thesis/thesis.toc
deleted file mode 100644
index 683054e..0000000
--- a/tex/thesis/thesis.toc
+++ /dev/null
@@ -1,22 +0,0 @@
-\contentsline {chapter}{\tocchapter {Chapter}{}{Student Plagiarism: Compliance Statement}}{ii}{chapter*.2}
-\contentsline {chapter}{\tocchapter {Chapter}{}{Abstract}}{iii}{chapter*.4}
-\contentsline {chapter}{\tocchapter {Chapter}{}{Acknowledgements}}{iv}{chapter*.6}
-\contentsline {chapter}{\tocchapter {Chapter}{}{List of Figures}}{vi}{chapter*.6}
-\contentsline {chapter}{\tocchapter {Chapter}{}{List of Tables}}{vii}{chapter*.6}
-\contentsline {chapter}{\tocchapter {Chapter}{1}{Introduction}}{1}{chapter.1}
-\contentsline {chapter}{\tocchapter {Chapter}{2}{Literature Review}}{2}{chapter.2}
-\contentsline {section}{\tocsection {}{2.1}{Program Semantics}}{2}{section.2.1}
-\contentsline {section}{\tocsection {}{2.2}{Abstract Interpretation}}{3}{section.2.2}
-\contentsline {subsection}{\tocsubsection {}{2.2.1}{General Framework}}{3}{subsection.2.2.1}
-\contentsline {subsection}{\tocsubsection {}{2.2.2}{Intervals}}{4}{subsection.2.2.2}
-\contentsline {subsection}{\tocsubsection {}{2.2.3}{Zones}}{4}{subsection.2.2.3}
-\contentsline {section}{\tocsection {}{2.3}{Min/max problem}}{4}{section.2.3}
-\contentsline {subsection}{\tocsubsection {}{2.3.1}{Partial-ordering Formulation}}{5}{subsection.2.3.1}
-\contentsline {subsubsection}{\tocsubsubsection {}{2.3.1.1}{Lattice construction}}{8}{subsubsection.2.3.1.1}
-\contentsline {subsection}{\tocsubsection {}{2.3.2}{Formalities}}{11}{subsection.2.3.2}
-\contentsline {subsection}{\tocsubsection {}{2.3.3}{Example solve}}{11}{subsection.2.3.3}
-\contentsline {chapter}{\tocchapter {Chapter}{3}{Evaluation}}{12}{chapter.3}
-\contentsline {chapter}{\tocchapter {Chapter}{4}{Experiments}}{13}{chapter.4}
-\contentsline {chapter}{\tocchapter {Chapter}{5}{Results}}{14}{chapter.5}
-\contentsline {chapter}{\tocchapter {Chapter}{6}{Conclusion}}{15}{chapter.6}
-\contentsline {chapter}{\tocchapter {Chapter}{}{Bibliography}}{16}{chapter*.8}