# Changeset 394 for Deliverables

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

Commit of what I did this morning.

File:
1 edited

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

 r390 \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 \label{sect.listing.matita.files} \begin{center} \begin{tabular}{ll} Title & Description \\ \hline \end{tabular} \end{center} \end{document}
Note: See TracChangeset for help on using the changeset viewer.