Ignore:
Timestamp:
Apr 4, 2011, 5:18:15 PM (10 years ago)
Author:
ayache
Message:

New memory model and bug fixes in 8051 branch. Added primitive operations in interpreters from Clight to LIN.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/options.mli

    r619 r740  
    2828val is_debug_enabled : unit -> bool
    2929
     30(*
    3031(** {2 Print results requests} *)
    3132val is_print_result_enabled : unit -> bool
     33*)
    3234
    3335(** {2 Developers' playground} *)
Note: See TracChangeset for help on using the changeset viewer.