source: driver/clightParser.mli

Last change on this file was 2620, checked in by campbell, 8 years ago

Sufficient hacking to run the extracted Clight semantics.

File size: 373 bytes
1(** This module implements a parser for [C] based on [gcc] and
2    [CIL]. *)
4(** [process ?is_lustre_file ?remove_lustre_externals filename] parses the
5    contents of [filename] to obtain an abstract syntax tree that represents a
6    Clight program. *)
7val process :
8  ?is_lustre_file:bool -> ?remove_lustre_externals:bool ->
9  string -> Extracted.Csyntax.clight_program
Note: See TracBrowser for help on using the repository browser.