Mantis 2578 __X__ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=2578
http://www.eda-stds.org/mantis/file_download.php?file_id=5251&type=bug
Minor correction :
and the evaluation attempt of property_expr1 is nonvacuous and property_expr2 is nonvacuous.
I consider the following as an expression (property_expr1and property_expr2).
Mantis 3033 ____ Yes ____ No __X__ Abstain
http://www.eda-stds.org/mantis/view.php?id=3033
http://www.eda-stds.org/mantis/file_download.php?file_id=5257&type=bug
Network error - seems the site is down :(
---------------------------------------------------------------------
Intel Israel (74) Limited
This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Aug 8 22:23:30 2011
This archive was generated by hypermail 2.1.8 : Mon Aug 08 2011 - 22:23:34 PDT