Changeset 1542 for Deliverables/D2.2/8051/src/options.mli
- Timestamp:
- Nov 23, 2011, 5:43:24 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D2.2/8051/src/options.mli
r1462 r1542 32 32 val is_debug_enabled : unit -> bool 33 33 34 (** {2 Cost ternary expressions} *) 35 val is_cost_ternary_enabled : unit -> bool 36 34 37 (** {2 Assembly pretty print} *) 35 38 val set_asm_pretty : bool -> unit … … 64 67 val get_lustre_test_max_int : unit -> int 65 68 69 70 (** {2 Intermediate transformations } *) 71 val get_transformations : unit -> Languages.transformation list 66 72 (* 67 73 (** {2 Print results requests} *)
Note: See TracChangeset
for help on using the changeset viewer.