Ignore:
Timestamp:
Nov 23, 2011, 5:43:24 PM (9 years ago)
Author:
tranquil
Message:

merge of indexed labels branch

File:
1 edited

Legend:

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

    r1488 r1542  
    9898
    9999      exit_addr   : BitVectors.word;
    100       cost_labels : string BitVectors.WordMap.t
     100(*
     101      ind_0s      : int BitVectors.WordMap.t;
     102      ind_incs    : int BitVectors.WordMap.t;
     103      cost_labels : CostLabel.t BitVectors.WordMap.t
     104*)
    101105    }
    102106     
Note: See TracChangeset for help on using the changeset viewer.