Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / machine_code.mli @ f4cba4b8

History | View | Annotate | Download (135 Bytes)

1
val translate_prog:
2
  Lustre_types.program_t ->
3
  Scheduling_type.schedule_report Utils.IMap.t  ->
4
  Machine_code_types.machine_t list