X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=top%2Fint.tex;fp=top%2Fint.tex;h=1ef5860af4e6fbc20610571dee704d9f0165e218;hb=2260acc961f4041fc214d093d0225d382396564e;hp=4b9c3c11e266510dc5a9b462655c9fea7abd4dcf;hpb=6e1620de7fd37b567a1b52b022ed43ab5dfa9015;p=phd-thesis.git

diff --git a/top/int.tex b/top/int.tex
index 4b9c3c1..1ef5860 100644
--- a/top/int.tex
+++ b/top/int.tex
@@ -145,6 +145,8 @@ liftmTask task (MTDevice dev sdsupdates channels)
 			-|| watchSharesUpstream mrefs channels tid)
 \end{lstClean}
 
+\todo{dis\-cuss pre\-loading}
+
 \section{Lifting \texorpdfstring{\gls{ITASK}}{iTask} \texorpdfstring{\glsxtrlongpl{SDS}}{shared data sources}}\label{sec:liftsds}
 Lifting \gls{ITASK} \glspl{SDS} to \gls{MTASK} \glspl{SDS} is something that mostly happens at the compiler level using the \cleaninline{liftsds} function (see \cref{lst:mtask_itasksds}).
 \Glspl{SDS} in \gls{MTASK} must always have an initial value.