Ignore:
Timestamp:
Mar 2, 2011, 3:27:41 PM (9 years ago)
Author:
ayache
Message:

Update of D2.2 from Paris.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/ASM/ASM.mli

    r486 r619  
    113113type preamble = (string * int) list
    114114
     115(* has_main currently unused *)
     116type 'a pretty_program =
     117    { ppreamble   : preamble ;
     118      pexit_label : string ;
     119      pcode       : 'a list ;
     120      phas_main   : bool }
     121
    115122type program =
    116     { preamble   : preamble ;
    117       exit_label : Label.t ;
    118       code       : labelled_instruction list ;
    119       has_main   : bool }
     123    { code        : BitVectors.byte list ;
     124      cost_labels : string BitVectors.WordMap.t ;
     125      exit_addr   : BitVectors.word ;
     126      has_main    : bool }
Note: See TracChangeset for help on using the changeset viewer.