source: Deliverables/D2.3/8051/src/cminor/cminorToRTLabs.mli @ 453

Last change on this file since 453 was 453, checked in by ayache, 9 years ago

Import of the Paris's sources.

File size: 300 bytes
2(** This module translates a [Cminor] program into a [RTLabs] program. *)
4(** The main part of the translation is transforming a Cminor program into a
5    control flow graph. This is done from the end of the program and up to the
6    beginning. *)
8val translate : Cminor.program -> RTLabs.program
Note: See TracBrowser for help on using the repository browser.