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