source: Deliverables/D2.2/8051/src/clight/clightInterpret.mli @ 1099

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
7val interpret: bool -> Clight.program -> AST.trace
Note: See TracBrowser for help on using the repository browser.