Project

General

Profile

« Previous | Next » 

Revision b4d9710b

Added by Xavier Thirioux over 9 years ago

- corrected bug in node reset clock
- cleaner (but heavier !) code generation scheme for automata

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@337 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/liveness.ml
204 204
    Log.report ~level:6 (fun fmt -> Format.fprintf fmt "new context:%a@." pp_context ctx);
205 205
    let heads = List.map (fun v -> get_node_var v node) (List.hd !sort) in
206 206
    Log.report ~level:6 (fun fmt -> Format.fprintf fmt "NEW HEADS:");
207
    List.iter (fun head -> Log.report ~level:2 (fun fmt -> Format.fprintf fmt "%s " head.var_id)) heads;
207
    List.iter (fun head -> Log.report ~level:6 (fun fmt -> Format.fprintf fmt "%s " head.var_id)) heads;
208 208
    Log.report ~level:6 (fun fmt -> Format.fprintf fmt "@.");
209 209
    Log.report ~level:6 (fun fmt -> Format.fprintf fmt "COMPUTE_DEPENDENCIES@.");
210 210
    compute_dependencies heads ctx;

Also available in: Unified diff