Added by Xavier Thirioux over 8 years ago
- added missing constraint check when sub-clocking
- added an algorithm that reuses dead or clock-disjoint
variables instead of declaring/using new ones.
- NOT carefully tested. Use option -O 3 if you want
to give it a try
- some output name may change from node to machine code,
this point could be discussed...
- further optimizations of machine code are now enabled
(eg. merging case constructs)
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@315 041b043f-8d7c-46b2-b46e-ef0dd855326e