Project

General

Profile

« Previous | Next » 

Revision c825868a

Added by Xavier Thirioux almost 8 years ago

added a new option -print_reuse that prints clock disjoint variables and reuse policy.
useful for debugging and carrying correctness proofs to the C code level.
non trivial result only when option -O 3 or above is activated.

  • added
  • modified
  • copied
  • renamed
  • deleted