Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 8 months ago

reformatting

View differences:

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

Also available in: Unified diff