source: Deliverables/D4.1/Demo-March-2011/matita/README @ 644

Last change on this file since 644 was 644, checked in by mulligan, 9 years ago

Committed files for demo on Friday. Binary search works with O'Caml emulator. Need to check with submitted version of Matita emulator.

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.