Revision 7ecdb0aa - more steps toward reusing variables (dead ones + clock disjoint ones) - LustreC

« Previous | Next »

Revision 7ecdb0aa

Added by Xavier Thirioux over 7 years ago

ID 7ecdb0aaf037b8b106ea3dc6e2357986ed97ade9
Parent d96d54ac
Child 0038002e, 920c31de

more steps toward reusing variables (dead ones + clock disjoint ones)

added
modified
copied
renamed
deleted

src
- causality.ml (diff)
- corelang.ml (diff)
- corelang.mli (diff)
- main_lustre_compiler.ml (diff)
- optimize_prog.ml (diff)