Project

General

Profile

« Previous | Next » 

Revision d96d54ac

Added by Xavier Thirioux over 7 years ago

added construction of a fanin table for local variables of a node.
could be useful for a finer variable elimination scheme at the Lustre level.
to be continued...

  • added
  • modified
  • copied
  • renamed
  • deleted