comments comemnts comments
[phd-thesis.git] / top / int.tex
index 4b9c3c1..1ef5860 100644 (file)
@@ -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.