From c0e0ae1e0399e17b5ad5f9a22905ab352153c8b7 Mon Sep 17 00:00:00 2001 From: Carlo Zancanaro 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