Project

General

Profile

« Previous | Next » 

Revision 89b9e25c

Added by Xavier Thirioux about 8 years ago

corrected bugs in clock generalization that produced pessimistic C code (not wrong though); corrected bug with node importation policy wrt (re)declaration, (re)definition...

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

View differences:

src/clocks.ml
574 574
      print_ck ck
575 575

  
576 576
let uneval const cr =
577
 (*Format.printf "uneval %s %a@." const print_carrier cr;*)
577
  (*Format.printf "Clocks.uneval %s %a@." const print_carrier cr;*)
578 578
  let cr = carrier_repr cr in
579 579
  match cr.carrier_desc with
580 580
  | Carry_var -> cr.carrier_desc <- Carry_const const

Also available in: Unified diff