|
Last change
on this file since 3217 was
2620,
checked in by campbell, 8 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. *) |
|---|
| 7 | val 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.
