Changeset 394 for Deliverables/D4.1/Report/report.tex

Timestamp:

Dec 9, 2010, 11:55:32 AM (10 years ago)

Author:

mulligan

Message:

Commit of what I did this morning.

File:

• Deliverables/D4.1/Report/report.tex (modified) (2 diffs)

Deliverables/D4.1/Report/report.tex

@@ -524 +524 @@
 \label{sect.listing.ocaml.files}
 
+\begin{center}
+\begin{tabular*}{0.9\textwidth}{lp{10cm}}
+Title & Description \\
+\hline
+\texttt{ASM.mli} & Containts algebraic datatypes representing assembly code. \\
+\texttt{ASMInterpret.ml} & Contains the main emulation function, and auxiliary datatypes and functions necessary for emulation. \\
+\texttt{BitVectors.ml} & Contains an implementation of bitvectors, using polymorphic variants to emulate dependent types. \\
+\texttt{IntelHex.ml} & Contains functions for parsing the Intel IHX file format. \\
+\texttt{MatitaPretty.ml} & Functions for pretty printing an assembly abstract syntax tree in the O'Caml compiler into its equivalent form in the Matita compiler. \\
+\texttt{Parser.ml} & Generic functional parser combinators used for parsing the Intel IHX file format. \\
+\texttt{Physical.ml} & Functions implementing arithmetic (for instance, addition and subtraction with carry) on bitvectors. \\
+\texttt{Pretty.ml} & Functions for pretty printing assembly abstract syntax trees in the O'Caml compiler into a string form. \\
+\texttt{Test.ml} & Test harness for emulator.  Reads in and parses an Intel IHX file, and executes the resulting program. \\
+\texttt{ToMatita.ml} & Funtions for exporting an Intel IHX file to a form the Matita emulator can understand. \\
+\texttt{Util.ml} & Miscellaneous utility functions that do not fit elsewhere. \\
+\end{tabular*}
+\end{center}
+
+\subsection{Selected important functions}
+\label{subsect.selected.important.functions}
+
+\subsubsection{From \texttt{ASMInterpret.mli}}
+
+\begin{center}
+\begin{tabular*}{0.9\textwidth}{lp{10cm}}
+Name & Description \\
+\hline
+\texttt{assembly} & Assembles an abstract syntax tree representing an 8051 assembly program into a list of bytes, its compiled form. \\
+\texttt{initialize} & Initializes the emulator status. \\
+\texttt{load} & Loads an assembled program into the emulator's code memory. \\
+\texttt{fetch} & Fetches the next instruction, and automatically increments the program counter. \\
+\texttt{execute} & Emulates the processor.  Accepts as input a function that pretty prints the emulator status after every emulation loop. \\
+\end{tabular*}
+\end{center}
+
 \newpage
 
@@ -529 +564 @@
 \label{sect.listing.matita.files}
 
+\begin{center}
+\begin{tabular}{ll}
+Title & Description \\
+\hline
+\end{tabular}
+\end{center}
+
 \end{document}