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/cminor/cminorAnnotator.mli

    r486 r619  
    55    global variable --- the so-called cost variable --- is added to the program.
    66    Then, each cost label in the program is replaced by an increment of the cost
    7     variable, following the mapping [cost_map]. *)
     7    variable, following the mapping [cost_map]. The returned string is the name
     8    of the cost increment function. *)
    89
    9 val instrument : Cminor.program -> int CostLabel.Map.t -> Cminor.program
     10val instrument : Cminor.program -> int CostLabel.Map.t ->
     11                 Cminor.program * string
    1012
    1113val cost_labels : Cminor.program -> CostLabel.Set.t
Note: See TracChangeset for help on using the changeset viewer.