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