Ignore:
Timestamp:
Dec 15, 2010, 11:35:37 PM (10 years ago)
Author:
sacerdot
Message:
  1. new function assembly_unlabelled_program
  2. the new function is now used in DoTest?.ma
File:
1 edited

Legend:

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

    r430 r437  
    1010  let rec aux status pc =
    1111    let instr, pc', cost = ASMInterpret.fetch status.ASMInterpret.code_memory pc in
    12       print_string $ ("Instruction (" ^ pp_matita_instruction instr ^ ")");
     12      print_string $ pp_matita_instruction instr;
    1313      if int_of_vect pc' <= 200 then (* DPM: hardcoded on a case-by-case basis *)
    1414       begin
     
    1919    aux status status.ASMInterpret.pc
    2020in
    21  print_string "include \"ASM.ma\".\n\nndefinition test: List labelled_instruction ≝\n [";
     21 print_string "include \"ASM.ma\".\n\nndefinition test: List instruction ≝\n [";
    2222 mem_pretty_print status;
    2323 print_endline "].\n @.\nnqed."
Note: See TracChangeset for help on using the changeset viewer.