source: driver/clightParser.mli @ 3094

Last change on this file since 3094 was 2620, checked in by campbell, 7 years ago

Sufficient hacking to run the extracted Clight semantics.

File size: 373 bytes
Line 
1(** This module implements a parser for [C] based on [gcc] and
2    [CIL]. *)
3
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.