Ignore:
Timestamp:
Dec 9, 2010, 11:55:32 AM (9 years ago)
Author:
mulligan
Message:

Commit of what I did this morning.

File:
1 edited

Legend:

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

    r390 r394  
    524524\label{sect.listing.ocaml.files}
    525525
     526\begin{center}
     527\begin{tabular*}{0.9\textwidth}{lp{10cm}}
     528Title & Description \\
     529\hline
     530\texttt{ASM.mli} & Containts algebraic datatypes representing assembly code. \\
     531\texttt{ASMInterpret.ml} & Contains the main emulation function, and auxiliary datatypes and functions necessary for emulation. \\
     532\texttt{BitVectors.ml} & Contains an implementation of bitvectors, using polymorphic variants to emulate dependent types. \\
     533\texttt{IntelHex.ml} & Contains functions for parsing the Intel IHX file format. \\
     534\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. \\
     535\texttt{Parser.ml} & Generic functional parser combinators used for parsing the Intel IHX file format. \\
     536\texttt{Physical.ml} & Functions implementing arithmetic (for instance, addition and subtraction with carry) on bitvectors. \\
     537\texttt{Pretty.ml} & Functions for pretty printing assembly abstract syntax trees in the O'Caml compiler into a string form. \\
     538\texttt{Test.ml} & Test harness for emulator.  Reads in and parses an Intel IHX file, and executes the resulting program. \\
     539\texttt{ToMatita.ml} & Funtions for exporting an Intel IHX file to a form the Matita emulator can understand. \\
     540\texttt{Util.ml} & Miscellaneous utility functions that do not fit elsewhere. \\
     541\end{tabular*}
     542\end{center}
     543
     544\subsection{Selected important functions}
     545\label{subsect.selected.important.functions}
     546
     547\subsubsection{From \texttt{ASMInterpret.mli}}
     548
     549\begin{center}
     550\begin{tabular*}{0.9\textwidth}{lp{10cm}}
     551Name & Description \\
     552\hline
     553\texttt{assembly} & Assembles an abstract syntax tree representing an 8051 assembly program into a list of bytes, its compiled form. \\
     554\texttt{initialize} & Initializes the emulator status. \\
     555\texttt{load} & Loads an assembled program into the emulator's code memory. \\
     556\texttt{fetch} & Fetches the next instruction, and automatically increments the program counter. \\
     557\texttt{execute} & Emulates the processor.  Accepts as input a function that pretty prints the emulator status after every emulation loop. \\
     558\end{tabular*}
     559\end{center}
     560
    526561\newpage
    527562
     
    529564\label{sect.listing.matita.files}
    530565
     566\begin{center}
     567\begin{tabular}{ll}
     568Title & Description \\
     569\hline
     570\end{tabular}
     571\end{center}
     572
    531573\end{document}
Note: See TracChangeset for help on using the changeset viewer.