Revision f69e7ea2 - add -O -1 flag to disable fusion of conditionals - LustreC

« Previous | Next »

Revision f69e7ea2

Added by Lélio Brun over 3 years ago

ID f69e7ea2b9a891b6179968ae0277412b5823a013
Parent 7a1b2819
Child 75c459f4

add -O -1 flag to disable fusion of conditionals

added
modified
copied
renamed
deleted

src
- backends
  - backends.ml (diff)
- main_lustre_compiler.ml (diff)
- options.ml (diff)
- options_management.ml (diff)