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/clock_calculus.ml
689 689
      match r with
690 690
      | None        -> new_var true
691 691
      | Some c      -> clock_standard_args env [c] in
692
    let couts = clock_appl env id args cr expr.expr_loc in
692
    let couts = clock_appl env id args (clock_uncarry cr) expr.expr_loc in
693 693
    expr.expr_clock <- couts;
694 694
    couts
695 695
    with exn -> (

Also available in: Unified diff