diff options
Diffstat (limited to 'tex/thesis/implementation/implementation.tex')
| -rw-r--r-- | tex/thesis/implementation/implementation.tex | 18 |
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} |