Revision 67896f6d - - corrected a bug in optimizating mode (option -O 3) - changed the printing ... - LustreC

« Previous | Next »

Revision 67896f6d

Added by Xavier Thirioux over 10 years ago

ID 67896f6da05bc8a1ea7f6e0c2019cd51af621317
Parent d5fe9ac9
Child 307aba8d

- corrected a bug in optimizating mode (option -O 3)
- changed the printing of unused variables

added
modified
copied
renamed
deleted

src
- causality.ml (diff)
- corelang.ml (diff)
- liveness.ml (diff)
- main_lustre_compiler.ml (diff)
- normalization.ml (diff)
- scheduling.ml (diff)