From c0e0ae1e0399e17b5ad5f9a22905ab352153c8b7 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@carlo-laptop>
Date: Tue, 27 Nov 2012 14:11:18 +1100
Subject: A bunch more thesis stuff.

---
 tex/thesis/implementation/implementation.tex | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

(limited to 'tex/thesis/implementation/implementation.tex')

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}
-- 
cgit v1.2.3

