Re: [sv-ac] Call to vote: Due August 29 (resend with updated 3033)

Hello Everyone,

My votes:

On 08/26/11 05:34, Korchemny, Dmitry wrote:

>
>
> Mantis 2476 __x__ Yes ____ No
>
> http://www.eda-stds.org/mantis/view.php?id=2476
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5355&type=bug
> <http://www.eda-stds.org/mantis/file_download.php?file_id=5355&type=bug>
>
>
>
> 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=5343&type=bug
> <http://www.eda-stds.org/mantis/file_download.php?file_id=5343&type=bug>
>
Friendly amendment: add an "and" to the sentence
  . . . the underlying evaluation attempt of property_expr1 is true and
nonvacuous, and the underlying evaluation attempt of propertey_expr2 . .
             ^^^

>
>
> Mantis 3033 ____ Yes ____ No
>
> http://www.eda-stds.org/mantis/view.php?id=3033
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5366&type=bug
> <http://www.eda-stds.org/mantis/file_download.php?file_id=5366&type=bug>
>
>
>
> Updated first bulleted list in 17.3.1
>
>
>
>
>
> Mantis 3113 __x__ Yes ____ No
>
> http://www.eda-stds.org/mantis/view.php?id=3113
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5331&type=bug
> <http://www.eda-stds.org/mantis/file_download.php?file_id=5331&type=bug>
>
>
>
> Mantis 3206 __x__ Yes ____ No
>
> http://www.eda-stds.org/mantis/view.php?id=3206
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5357&type=bug
> <http://www.eda-stds.org/mantis/file_download.php?file_id=5357&type=bug>
>
>
>
> Mantis 3385 __x__ Yes ____ No
>
> http://www.eda-stds.org/mantis/view.php?id=3385
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5352&type=bug
>
>
>
>
>
> ---------------------------------------------------------------------
> 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* <http://www.mailscanner.info/>, and is
> believed to be clean.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.