Bug solved on tuple equalities in expressions (eg. OK = (a,b,c) = (d,e,f))
still computing disjoint clock information (for reusing more variables)
computing statically disjoint variables (to enhance resusability)
- some minor adjustments...
- corrected causality bug (cf. previous commit)
liveness analysis improved. BUG found in causality wrt clocks...
- reimplemented computation of dead variables - added computation of a reuse policy (depending on types) - not yet used though, would have to change code generation in order to be useful...
Moved files to trunk in lustre_compiler