Project

General

Profile

« Previous | Next » 

Revision c825868a

IDc825868ae4feff012f2625f299a4167816e899bb
Parent bed8ea64
Child fb8b1da7

Added by Xavier Thirioux almost 5 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.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences