Changeset 394 for Deliverables/D4.1/Report/report.tex
- Timestamp:
- Dec 9, 2010, 11:55:32 AM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/Report/report.tex
r390 r394 524 524 \label{sect.listing.ocaml.files} 525 525 526 \begin{center} 527 \begin{tabular*}{0.9\textwidth}{lp{10cm}} 528 Title & 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}} 551 Name & 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 526 561 \newpage 527 562 … … 529 564 \label{sect.listing.matita.files} 530 565 566 \begin{center} 567 \begin{tabular}{ll} 568 Title & Description \\ 569 \hline 570 \end{tabular} 571 \end{center} 572 531 573 \end{document}
Note: See TracChangeset
for help on using the changeset viewer.