Project

General

Profile

Revision ad4774b0 src/algebraicLoop.ml

View differences:

src/algebraicLoop.ml
157 157
  (* Clock calculus *)
158 158
  let _ (*computed_clocks_env*) = Compiler_common.clock_decls clock_env prog in
159 159
  (* Normalization *)
160
  let prog = Normalization.normalize_prog ~backend:!Options.output prog in
160
  let params = Backends.get_normalization_params () in
161
  let prog = Normalization.normalize_prog params prog in
161 162
  (* Mini stage 2 : Scheduling *)
162 163
  let res = Scheduling.schedule_prog prog in
163 164
  Options.verbose_level := !Options.verbose_level + 2;
......
272 273
    Alarms contain the list of inlining performed or advised for each node. 
273 274
    This could be provided as a feedback to the user.
274 275
*)
275
let clean_al prog : program * bool * report =
276
let clean_al prog : program_t * bool * report =
276 277
  let max_inlines = !Options.al_nb_max in
277 278
(* We iterate over each node *)
278 279
  let _, prog, al_list =

Also available in: Unified diff