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 about 6 years ago
- missing case in clock disjunction predicate, the absence of which produced
weak (but still correct) optimization results.