Ignore:
Timestamp:
Mar 10, 2011, 11:48:33 AM (9 years ago)
Author:
mulligan
Message:

Changed output of Intel HEX files so we no longer have those gargantuan blocks of zeroes at the end.

File:
1 edited

Legend:

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

    r437 r664  
    1111    let instr, pc', cost = ASMInterpret.fetch status.ASMInterpret.code_memory pc in
    1212      print_string $ pp_matita_instruction instr;
    13       if int_of_vect pc' <= 200 then (* DPM: hardcoded on a case-by-case basis *)
     13      if int_of_vect pc' <= 800 then (* DPM: hardcoded on a case-by-case basis *)
    1414       begin
    1515        print_string ";\n  ";
Note: See TracChangeset for help on using the changeset viewer.