projects
/
matthijs
/
projects
/
internship.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
bda4ad2
)
Use \label instead of \ref to define labels.
author
Matthijs Kooijman
<matthijs@stdin.nl>
Thu, 31 Jul 2008 15:47:44 +0000
(17:47 +0200)
committer
Matthijs Kooijman
<matthijs@stdin.nl>
Thu, 31 Jul 2008 15:47:44 +0000
(17:47 +0200)
Report/Main/Future.tex
patch
|
blob
|
history
diff --git
a/Report/Main/Future.tex
b/Report/Main/Future.tex
index 842900c14f1eb8daaedf5027b0f3014af8185a67..02251747db67c2c171d130858531b2d00a2e24a0 100644
(file)
--- a/
Report/Main/Future.tex
+++ b/
Report/Main/Future.tex
@@
-1,5
+1,5
@@
\chapter{Future work}
\chapter{Future work}
-\
ref
{FutureWork}
+\
label
{FutureWork}
This chapter will describe outstanding tasks and issues.
\section{Verifiers}
This chapter will describe outstanding tasks and issues.
\section{Verifiers}
@@
-15,7
+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}
help to fine tune the specifications and find bugs in the frontend.
\section{Debug info preservation}
-\
ref
{PreserveDebug}
+\
label
{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
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