Add conclusions and do some misc fixes.

[matthijs/projects/internship.git] / Report / Main / Future.tex

diff --git a/Report/Main/Future.tex b/Report/Main/Future.tex
index 16c2a548aba8373de41f30799dcdda6ecbbd6907..842900c14f1eb8daaedf5027b0f3014af8185a67 100644 (file)
--- a/Report/Main/Future.tex
+++ b/Report/Main/Future.tex
@@ -1,4 +1,5 @@
 \chapter{Future work}
+\ref{FutureWork}
 This chapter will describe outstanding tasks and issues.
 
 \section{Verifiers}
@@ -14,6 +15,7 @@ the specifications. Apart from improving user feedback, this will also greatly
 help to fine tune the specifications and find bugs in the frontend.
 
 \section{Debug info preservation}
+\ref{PreserveDebug}
 Currently, transformation passes are mostly ignorant about debugging info, they
 treat it as ordinary code. Since debugging info is added to LLVM code by means
 of special function calls and transformations by default assume that an unknow