A bunch more thesis stuff.

1 files changed, 16 insertions, 2 deletions

diff --git a/tex/thesis/implementation/implementation.tex b/tex/thesis/implementation/implementation.tex
index 2fd41ad..7e432f8 100644
--- a/tex/thesis/implementation/implementation.tex
+++ b/tex/thesis/implementation/implementation.tex
@@ -1,6 +1,6 @@
 \chapter{Implementation} \label{chap:implementation}
 
-Our implementation of the Demand Driven Strategy improvement algorithm
+Our implementation of the Demand Driven Strategy Improvement algorithm
 presented in Chapter \ref{chap:contribution} is in C++. We chose to
 develop it in C++ for two major reasons:
 \begin{itemize}
@@ -13,4 +13,18 @@ develop it in C++ for two major reasons:
   obvious choice of language.
 \end{itemize}
 
-The solver was developed using only the STL.
+The solver was developed using only the STL for the core of the
+solver. A front-end was developed using the ANTLR parser generator
+\cite{antlr} to test the solver separately to the LLVM/Clang
+integration.
+
+\section{Solver}
+
+
+\section{LLVM/Clang}
+
+
+
+\subsection{Chain construction}
+
+\lstinputlisting{implementation/experiments/chain.c}