Revision e24b2e9b - some optimization in code optimization !! - LustreC

« Previous | Next »

Revision e24b2e9b

ID	e24b2e9be8d1ebdb2409080e505b2c17cafc73d5
Parent	5f31b494
Child	b3b0dd56

Added by Xavier Thirioux about 6 years ago

some optimization in code optimization !!

Files

added
modified
copied
renamed
deleted

View differences

src
- automata.ml (diff)
- liveness.ml (diff)
- main_lustre_compiler.ml (diff)
- types.ml (diff)