source: Deliverables/D2.2/8051/src/cminor/cminorToRTLabs.mli @ 486

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

Deliverable D2.2

File size: 300 bytes
Line 
1
2(** This module translates a [Cminor] program into a [RTLabs] program. *)
3
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. *)
7
8val translate : Cminor.program -> RTLabs.program
Note: See TracBrowser for help on using the repository browser.