Ignore:
Timestamp:
Dec 15, 2010, 6:38:59 PM (9 years ago)
Author:
mulligan
Message:
  • README updated
  • Test and DoTest? fixed to work on assembly_program
  • assembly function for labelled programs avoided because of efficiency issues
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/README

    r260 r431  
    1 To make this directory compile, replace the nlibrary directory of Matita with
    2 it.
     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 TracChangeset for help on using the changeset viewer.