Changeset 430


Ignore:
Timestamp:
Dec 15, 2010, 5:42:27 PM (9 years ago)
Author:
mulligan
Message:
  • ToMatita? now generates a list of labelled_instructions (used to be a list of instructions)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ToMatita.ml

    r429 r430  
    1010  let rec aux status pc =
    1111    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 ^ ")");
    1313      if int_of_vect pc' <= 200 then (* DPM: hardcoded on a case-by-case basis *)
    1414       begin
Note: See TracChangeset for help on using the changeset viewer.