Project

General

Profile

« Previous | Next » 

Revision 2fb97ad4

Added by Pierre-Loïc Garoche about 6 years ago

Merge conflict solved

View differences:

src/machine_code.mli
1
val translate_prog: Lustre_types.program -> Scheduling.schedule_report Utils.IMap.t  -> Machine_code_types.machine_t list
1
val translate_prog: Lustre_types.program_t -> Scheduling.schedule_report Utils.IMap.t  -> Machine_code_types.machine_t list

Also available in: Unified diff