Project

General

Profile

« Previous | Next » 

Revision fc36d0a0

Added by Xavier Thirioux over 1 year ago

added some cleaning about hash-tables used for typing, clocking, etc.

View differences:

src/checks/algebraicLoop.ml
141 141
  Log.report ~level:3
142 142
    (fun fmt -> Format.fprintf fmt "@[<v 2>Fast revalidation: normalization + schedulability@ ");
143 143
  Options.verbose_level := !Options.verbose_level - 2;
144
  
145
  Global.initialize ();
146
  Corelang.add_internal_funs ();
144 147

  
145 148
  (* Mini stage 1 *)
146 149
  (* Extracting dependencies: fill some table with typing info *)
147 150
  ignore (Compiler_common.import_dependencies prog);
148 151
  (* Local inlining *)
149 152
  let prog = Inliner.local_inline prog (* type_env clock_env *) in
153
  Log.report ~level:3
154
    (fun fmt -> Format.fprintf fmt "Inlined prog: %a@." Printers.pp_prog prog);
150 155
  (* Checking stateless/stateful status *)
151 156
  if Plugins.check_force_stateful () then
152 157
    Compiler_common.force_stateful_decls prog
......
311 316
  let open Format in
312 317
  fprintf fmt "@[<v 0>";
313 318
  fprintf fmt "variables in the alg. loop: @[<hov 0>%a@]@ "
314
    (fprintf_list ~sep:",@ " pp_print_string) partition;
319
    (fprintf_list ~sep:",@ " pp_print_string) partition; 
315 320
  fprintf fmt "@ involved node calls: @[<v 0>%a@]@ "
316 321
    (fprintf_list ~sep:",@ "
317 322
       (fun fmt ((funid, expr, eq), status) ->

Also available in: Unified diff