Changeset 424


Ignore:
Timestamp:
Dec 14, 2010, 4:51:19 PM (9 years ago)
Author:
mulligan
Message:

Tidied up English in last addition.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Report/report.tex

    r423 r424  
    406406\textbf{Assert false} may be called is some feature of the physical 8051 processor is not implemented in the O'Caml emulator and an executing program is attempting to use it.
    407407\item
    408 \textbf{Assert false} may be called when the real, physical processor's behaviour would be undefined.
     408\textbf{Assert false} may be called when the real, physical processor's behaviour is undefined in a particular context.
    409409An example of this is loading a program which is too large for the available amount of code memory that the processor provides.
    410410\end{enumerate}
     
    425425These obligations are closed by performing a case analysis over \texttt{not\_implemented}.
    426426
    427 In the rare case that Item 4 is encountered (only once in the emulator, in the \texttt{assembly} function), we use the Maybe monad to signal failure or success.
     427In the rare case that Item 4 is encountered (only once in the implementation of the emulator, in the \texttt{assembly} function), we use the Maybe monad to signal failure or success.
    428428
    429429\subsection{Addressing modes: use of dependent types}
Note: See TracChangeset for help on using the changeset viewer.