Ignore:
Timestamp:
Mar 7, 2011, 11:10:57 AM (10 years ago)
Author:
ayache
Message:

Hex output not too long for mcu anymore. Readable output added.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/cminor/cminorAnnotator.ml

    r619 r640  
    131131
    132132
     133(** [instrument prog cost_map] instruments the program [prog]. First a fresh
     134    global variable --- the so-called cost variable --- is added to the program.
     135    Then, each cost label in the program is replaced by an increment of the cost
     136    variable, following the mapping [cost_map]. The function also returns the
     137    name of the cost variable and the name of the cost increment function. *)
     138
    133139let instrument p costs_mapping =
    134140  let cost_id = fresh_cost_id "_cost" p in
     
    140146     Cminor.functs = functs ;
    141147     Cminor.main   = p.Cminor.main },
     148   "" (* TODO *),
    142149   "" (* TODO *))
    143150
Note: See TracChangeset for help on using the changeset viewer.