Changeset 1542 for Deliverables/D2.2/8051/src/options.mli

Timestamp:

Nov 23, 2011, 5:43:24 PM (9 years ago)

Author:

tranquil

Message:

merge of indexed labels branch

File:

• Deliverables/D2.2/8051/src/options.mli (modified) (2 diffs)

Deliverables/D2.2/8051/src/options.mli

@@ -32 +32 @@
 val is_debug_enabled : unit -> bool
 
+(** {2 Cost ternary expressions} *)
+val is_cost_ternary_enabled : unit -> bool
+
 (** {2 Assembly pretty print} *)
 val set_asm_pretty : bool -> unit
@@ -64 +67 @@
 val get_lustre_test_max_int : unit -> int
 
+
+(** {2 Intermediate transformations } *)
+val get_transformations : unit -> Languages.transformation list
 (*
 (** {2 Print results requests} *)