Ignore:
Timestamp:
Mar 7, 2011, 11:10:57 AM (10 years ago)
Author:
ayache
Message:

Hex output not too long for mcu anymore. Readable output added.

File:
1 edited

Legend:

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

    r619 r640  
    6262
    6363(** [annotate input_ast target_ast] inserts cost annotations into the input AST
    64     from the (final) target AST. It also returns the name of the cost increment
    65     function *)
    66 val annotate : ast -> ast -> (ast * string)
     64    from the (final) target AST. It also returns the name of the cost variable
     65    and the name of the cost increment function. *)
     66val annotate : ast -> ast -> (ast * string * string)
    6767
    6868(** [interpret print_result ast] runs the program [ast] from the default initial
     
    8080val save : bool -> string -> ast -> unit
    8181
    82 (** [save_cost_incr filename cost_incr] prints the name of the cost increment
    83     function [cost_incr] in the file prefixed by [filename] and extended with
     82(** [save_cost_incr filename cost_id cost_incr] prints the name [cost_id] of the
     83    cost variable and then the name [cost_incr] of the cost increment function
     84    in a seperate line in the file prefixed by [filename] and extended with
    8485    ".cost". If the file already exists, it is overwritten. *)
    85 val save_cost_incr : string -> string -> unit
     86val save_cost : string -> string -> string -> unit
    8687
    8788(** [from_string s] parses [s] as an intermediate language name. *)
Note: See TracChangeset for help on using the changeset viewer.