Project

General

Profile

« Previous | Next » 

Revision 5de4dde4

Added by Pierre-Loïc Garoche over 3 years ago

Major refreshing of machine generation

View differences:

src/tools/seal_slice.ml
128 128
  report ~level:3 (fun fmt -> Format.fprintf fmt "Scheduling node@.");
129 129
  
130 130
  (* Split tuples while sorting eqs *)
131
  let sorted_eqs = Scheduling.sort_equations_from_schedule nd msch.Scheduling_type.schedule in
131
  let eqs, auts = Corelang.get_node_eqs nd in
132
  assert (auts = []); (* Automata should be expanded by now *)
133
  let sorted_eqs = Scheduling.sort_equations_from_schedule
134
                     eqs
135
                     msch.Scheduling_type.schedule in
132 136

  
133 137
  report ~level:3 (fun fmt -> Format.fprintf fmt "Scheduled node@.");
134 138

  

Also available in: Unified diff