WLIR considered harmfull
| Bugzilla Link | 161 |
| Created on | Nov 28, 2005 14:08 |
| Resolution | REMIND |
| Resolved on | Nov 28, 2005 14:13 |
| Version | 1.00beta |
| OS | Solaris |
| Architecture | Sun |
| Attachments | tutu2.sac |
Extended Description
There is a conceptual problem with WLIR. If we lift invariant expressions from partitions that turn out to be empty, we may change the termination behaviour of the program adversly.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information