Changeset 430
- Timestamp:
- Dec 15, 2010, 5:42:27 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/ToMatita.ml
r429 r430 10 10 let rec aux status pc = 11 11 let instr, pc', cost = ASMInterpret.fetch status.ASMInterpret.code_memory pc in 12 print_string $ ( pp_matita_instruction instr);12 print_string $ ("Instruction (" ^ pp_matita_instruction instr ^ ")"); 13 13 if int_of_vect pc' <= 200 then (* DPM: hardcoded on a case-by-case basis *) 14 14 begin
Note: See TracChangeset
for help on using the changeset viewer.