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/options.mli

    r1462 r1542  
    3232val is_debug_enabled : unit -> bool
    3333
     34(** {2 Cost ternary expressions} *)
     35val is_cost_ternary_enabled : unit -> bool
     36
    3437(** {2 Assembly pretty print} *)
    3538val set_asm_pretty : bool -> unit
     
    6467val get_lustre_test_max_int : unit -> int
    6568
     69
     70(** {2 Intermediate transformations } *)
     71val get_transformations : unit -> Languages.transformation list
    6672(*
    6773(** {2 Print results requests} *)
Note: See TracChangeset for help on using the changeset viewer.