Revision e8c0f452 - liveness analysis improved. BUG found in causality wrt clocks... - LustreC

« Previous | Next »

Revision e8c0f452

ID	e8c0f45293fbcde9850dc7487a85dd2f067ae3ad
Parent	3c48346d
Child	84d9893e

Added by Xavier Thirioux almost 6 years ago

liveness analysis improved. BUG found in causality wrt clocks...

Files

added
modified
copied
renamed
deleted

View differences

src
- causality.ml (diff)
- liveness.ml (diff)
- machine_code.ml (diff)
- scheduling.ml (diff)