Project

General

Profile

« Previous | Next » 

Revision 8ac7a0c7

Added by Xavier Thirioux over 7 years ago

- missing case in clock disjunction predicate, the absence of which produced
weak (but still correct) optimization results.

  • added
  • modified
  • copied
  • renamed
  • deleted