source: Deliverables/D3.3/id-lookup-branch/ASM/README @ 3341

Last change on this file since 3341 was 431, checked in by mulligan, 9 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 
1To 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
9To 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.