Changeset 1735


Ignore:
Timestamp:
Feb 24, 2012, 1:00:15 PM (7 years ago)
Author:
mulligan
Message:

a bit more added

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.2/CompilerProofOutline/outline.tex

    r1734 r1735  
    313313\begin{center}
    314314\begin{picture}(2, 2)
    315 % picture of sigma mapping memory to memory
    316 TODO
     315\put(0,-20){\framebox(25,25)[c]{\texttt{v}}}
     316\put(26,-20){\framebox(25,25)[c]{\texttt{4}}}
     317\put(51,-20){\framebox(25,25)[c]{\texttt{cont}}}
     318\put(76,-20){\framebox(25,25)[c]{\texttt{cont}}}
     319\put(101,-20){\framebox(25,25)[c]{\texttt{cont}}}
    317320\end{picture}
    318321\end{center}
Note: See TracChangeset for help on using the changeset viewer.