Ignore:
Timestamp:
Jan 18, 2011, 7:23:28 PM (10 years ago)
Author:
sacerdot
Message:

CSC + Nicolas + Dominic:

1) back-porting of changes by Nicolas from the compiler
2) new file ASMCosts to compute the cost of labels
3) several changes here and there to implement 2)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Pretty.mli

    r163 r454  
    2020     | `REL of 'e BitVectors.vect ] -> string
    2121val pp_instruction: [< ASM.labelled_instruction] -> string
     22
     23val print_program : [< ASM.labelled_instruction] ASM.program -> string
Note: See TracChangeset for help on using the changeset viewer.