Project

General

Profile

Revision f4cba4b8 src/machine_code.mli

View differences:

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

Also available in: Unified diff