still computing disjoint clock information (for reusing more variables)
computing statically disjoint variables (to enhance resusability)
- corrected causality bug (cf. previous commit)
- work in progress for stateless/stateful status computation (to turn conditionals into merges, which yield more efficient C code)
corrected bugs in clock generalization that produced pessimistic C code (not wrong though); corrected bug with node importation policy wrt (re)declaration, (re)definition...
- added generation of clock information in interface (.lusi) files- added clock checking between interface and implementation files
Moved files to trunk in lustre_compiler