|
Last change
on this file since 1099 was
740,
checked in by ayache, 10 years ago
|
|
New memory model and bug fixes in 8051 branch. Added primitive operations in interpreters from Clight to LIN.
|
|
File size:
305 bytes
|
| Line | |
|---|
| 1 | (** This module provides a function to interpret a [Clight] program |
|---|
| 2 | and return the trace of cost labels encountered. This function |
|---|
| 3 | can also print debug informations. *) |
|---|
| 4 | |
|---|
| 5 | (** [interpret debug p] returns the trace of execution of program [p]. *) |
|---|
| 6 | |
|---|
| 7 | val interpret: bool -> Clight.program -> AST.trace |
|---|
Note: See
TracBrowser
for help on using the repository browser.
