WLIR considered harmfull
|Created on||Nov 28, 2005 14:08|
|Resolved on||Nov 28, 2005 14:13|
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