Changeset 1735 for Deliverables/D1.2/CompilerProofOutline/outline.tex

Timestamp:

Feb 24, 2012, 1:00:15 PM (8 years ago)

Author:

mulligan

Message:

a bit more added

File:

• Deliverables/D1.2/CompilerProofOutline/outline.tex (modified) (1 diff)

Deliverables/D1.2/CompilerProofOutline/outline.tex

@@ -313 +313 @@
 \begin{center}
 \begin{picture}(2, 2)
-% picture of sigma mapping memory to memory
-TODO
+\put(0,-20){\framebox(25,25)[c]{\texttt{v}}}
+\put(26,-20){\framebox(25,25)[c]{\texttt{4}}}
+\put(51,-20){\framebox(25,25)[c]{\texttt{cont}}}
+\put(76,-20){\framebox(25,25)[c]{\texttt{cont}}}
+\put(101,-20){\framebox(25,25)[c]{\texttt{cont}}}
 \end{picture}
 \end{center}