Project

General

Profile

« Previous | Next » 

Revision 574c671b

Added by Xavier Thirioux almost 2 years ago

1) log messages are now flushed. 2) very long computation times due to naive code to check for unused variables are now much shorter

View differences:

src/scheduling.ml
121 121

  
122 122
let schedule_node n =
123 123
  (* let node_vars = get_node_vars n in *)
124
  Log.report ~level:5 (fun fmt -> Format.fprintf fmt "scheduling node %s@," n.node_id);
124 125
  let eq_equiv = eq_equiv (ExprDep.node_eq_equiv n) in
125 126

  
126 127
  let n', g = global_dependency n in

Also available in: Unified diff