Revision add75bcb - more steps toward reusing variables (dead ones + clock disjoint ones) git-... - LustreC

« Previous | Next »

Revision add75bcb

Added by Xavier Thirioux almost 9 years ago

ID add75bcb7ead7e0d3ab71d35112124788fc3ca42
Parent 8a183477
Child 01c7d5e1, 99d3df04

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

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

added
modified
copied
renamed
deleted

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