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/common/AST.mli

    r486 r619  
    9292
    9393
    94 (* Traces returned by interpreters: only cost labels are observed. *)
     94(* Traces returned by interpreters: result and cost labels are observed. The
     95   result is interpreted as an 8 bits integer for coherence between
     96   languages. *)
    9597
    96 type trace = CostLabel.t list
     98type trace = IntValue.int8 * CostLabel.t list
Note: See TracChangeset for help on using the changeset viewer.