From 3d206f03985b50beacae843d880bccdc91a9f424 Mon Sep 17 00:00:00 2001 From: Carlo Zancanaro Date: Mon, 10 Sep 2012 17:04:34 +1000 Subject: Thesis updating. --- tex/thesis/config.aux | 11 - tex/thesis/litreview/litreview.tex | 426 ++++++---- tex/thesis/thesis.aux | 87 -- tex/thesis/thesis.bbl | 22 - tex/thesis/thesis.blg | 49 -- tex/thesis/thesis.lof | 12 - tex/thesis/thesis.log | 1598 ------------------------------------ tex/thesis/thesis.lot | 10 - tex/thesis/thesis.out | 21 - tex/thesis/thesis.tex | 7 +- tex/thesis/thesis.toc | 22 - 11 files changed, 264 insertions(+), 2001 deletions(-) delete mode 100644 tex/thesis/config.aux delete mode 100644 tex/thesis/thesis.aux delete mode 100644 tex/thesis/thesis.bbl delete mode 100644 tex/thesis/thesis.blg delete mode 100644 tex/thesis/thesis.lof delete mode 100644 tex/thesis/thesis.log delete mode 100644 tex/thesis/thesis.lot delete mode 100644 tex/thesis/thesis.out delete mode 100644 tex/thesis/thesis.toc (limited to 'tex') 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 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. - -File: usyd-primary-colour.pdf Graphic file (type 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} -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} -- cgit v1.2.3