|
Last change
on this file since 1895 was
431,
checked in by mulligan, 10 years ago
|
- README updated
- Test and DoTest? fixed to work on assembly_program
- assembly function for labelled programs avoided because
of efficiency issues
|
|
File size:
641 bytes
|
| Line | |
|---|
| 1 | To compile: |
|---|
| 2 | |
|---|
| 3 | 1) replace the nlibrary directory in the source code of Matita 0.5.9 with the |
|---|
| 4 | current directory |
|---|
| 5 | 2) run |
|---|
| 6 | matitadep.opt && matitac.opt |
|---|
| 7 | |
|---|
| 8 | |
|---|
| 9 | To run an Intel Hex file: |
|---|
| 10 | 1) use ToMatita.native to generate a Test.ma file from a Test.hex file |
|---|
| 11 | (see the README in the O'Caml part of the deliverable) |
|---|
| 12 | 2) replace the Test.ma file in this directory with the generated one |
|---|
| 13 | 3) run matita.opt DoTest.ma to run the program. Stop execution at |
|---|
| 14 | (* STOP HERE TO SEE THE TRACE *) to look at the instruction trace. |
|---|
| 15 | You can change the number of steps in the trace by changing the "step" |
|---|
| 16 | variable at the beginning of the file. |
|---|
Note: See
TracBrowser
for help on using the repository browser.
