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

    r640 r740  
    6666val annotate : ast -> ast -> (ast * string * string)
    6767
    68 (** [interpret print_result ast] runs the program [ast] from the default initial
    69     configuration. This interpretation may emit some cost labels. If
    70     [print_result] is [true], then the result of the interpretations is
    71     output. *)
     68(** [interpret debug ast] runs the program [ast] from the default initial
     69    configuration. This interpretation may emit some cost labels. *)
    7270val interpret : bool -> ast -> AST.trace
    7371
     
    7876    language of the AST. If [exact_output] is false then the written file will
    7977    be fresh. *)
    80 val save : bool -> string -> ast -> unit
     78val save : bool -> string -> string -> ast -> unit
    8179
    8280(** [save_cost_incr filename cost_id cost_incr] prints the name [cost_id] of the
Note: See TracChangeset for help on using the changeset viewer.