Revision 8ac7a0c7
- missing case in clock disjunction predicate, the absence of which produced
weak (but still correct) optimization results.
Files
- added
- modified
- copied
- renamed
- deleted
ID | 8ac7a0c74a381debf7e8b32d950acb1562058e54 |
Parent | 32f508aa |
Child | 8fa083d5 |
Added by Xavier Thirioux over 6 years ago
- missing case in clock disjunction predicate, the absence of which produced
weak (but still correct) optimization results.