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

« Previous | Next »

Revision df39e35a

Added by Xavier Thirioux over 10 years ago

ID df39e35ab1a9c327ff8becc91957e81fdb1b29da
Parent b4d9710b
Child d0b1ec56

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

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@338 041b043f-8d7c-46b2-b46e-ef0dd855326e

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)