Ignore:
Timestamp:
Jan 19, 2011, 6:23:27 PM (9 years ago)
Author:
campbell
Message:

Port memory spaces changes to latest prototype compiler.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.3/8051-memoryspaces-branch/src/languages.mli

    r453 r460  
    7676val save : string -> ast -> unit
    7777
     78(** [save_matita filename asts] pretty prints the first Clight AST in
     79    [asts] in a fresh file whose name is prefixed by [filename] and whose
     80    extension is .ma. *)
     81val save_matita : string -> ast list -> unit
     82
    7883(** [from_string s] parses [s] as an intermediate language name. *)
    7984val from_string : string -> name
Note: See TracChangeset for help on using the changeset viewer.