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