Revision c065827c - Changed the option horntraces to a general traces option This annotation phas... - LustreC

« Previous | Next »

Revision c065827c

Added by Pierre-Loïc Garoche about 10 years ago

ID c065827c98057240acb11fb8dffcb75d410b1318
Parent e9c64a30
Child 89f551c9

Changed the option horntraces to a general traces option
This annotation phases would have to be moved in optimization of normalized code

added
modified
copied
renamed
deleted

src
- main_lustre_compiler.ml (diff)
- normalization.ml (diff)
- options.ml (diff)