Changeset 424
- Timestamp:
- Dec 14, 2010, 4:51:19 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/Report/report.tex
r423 r424 406 406 \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. 407 407 \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. 409 409 An example of this is loading a program which is too large for the available amount of code memory that the processor provides. 410 410 \end{enumerate} … … 425 425 These obligations are closed by performing a case analysis over \texttt{not\_implemented}. 426 426 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.427 In 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. 428 428 429 429 \subsection{Addressing modes: use of dependent types}
Note: See TracChangeset
for help on using the changeset viewer.