Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / machine_code.mli @ 365d1b07

History | View | Annotate | Download (124 Bytes)

1 2fb97ad4 ploc
val translate_prog: Lustre_types.program_t -> Scheduling.schedule_report Utils.IMap.t  -> Machine_code_types.machine_t list