Project

General

Profile

Revision 2196a0a6 src/causality.ml

View differences:

src/causality.ml
415 415

  
416 416
let global_dependency_eqs inputs vars eqs =
417 417
  
418
  Format.eprintf "@.%a@." (Utils.fprintf_list ~sep:"@." Printers.pp_node_eq) eqs;
419
  Format.eprintf "inputs: %a@." (Utils.fprintf_list ~sep:"@." Printers.pp_var) inputs;
418
  (* Format.eprintf "@.%a@." (Utils.fprintf_list ~sep:"@." Printers.pp_node_eq) eqs; *)
419
  (* Format.eprintf "inputs: %a@." (Utils.fprintf_list ~sep:"@." Printers.pp_var) inputs; *)
420 420
  let mems = ExprDep.eqs_memory_variables eqs in
421
  Format.eprintf "@.global dep; mems: %a@.@?" (Utils.fprintf_list ~sep:", " Format.pp_print_string) (ISet.elements mems); 
421
  (* Format.eprintf "@.global dep; mems: %a@.@?" (Utils.fprintf_list ~sep:", " Format.pp_print_string) (ISet.elements mems);  *)
422 422
  let (g_non_mems, g_mems) = ExprDep.dependence_graph mems inputs eqs in
423
  Format.eprintf "g_non_mems: %a@.@?" pp_dep_graph g_non_mems;
424
  Format.eprintf "g_mems: %a@.@?" pp_dep_graph g_mems;
423
  (* Format.eprintf "g_non_mems: %a@.@?" pp_dep_graph g_non_mems; *)
424
  (* Format.eprintf "g_mems: %a@.@?" pp_dep_graph g_mems; *)
425 425
  CycleDetection.check_cycles g_non_mems;
426 426
  let (vdecls', eqs', g_mems') = CycleDetection.break_cycles vars eqs mems g_mems in
427 427
  (*Format.eprintf "g_mems': %a" pp_dep_graph g_mems';*)

Also available in: Unified diff