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_extract.ml
298 298 
     the call to schedule_node *)
299 299 
  let nd_report = Scheduling.schedule_node nd in
300 300 
  let schedule = nd_report.Scheduling_type.schedule in
301 
  let sorted_eqs = Scheduling.sort_equations_from_schedule nd schedule in
301 
  let eqs, auts = Corelang.get_node_eqs nd in
302 
  assert (auts = []); (* Automata should be expanded by now *)
303 
  let sorted_eqs = Scheduling.sort_equations_from_schedule eqs schedule in
302 304 
  let defs : (ident,  guarded_expr list) Hashtbl.t = Hashtbl.create 13 in
303 305 
  let add_def = add_def defs in
304 306 
  (* Registering node equations *)

Also available in: Unified diff