Re: [sv-ac] Call to vote: Due August 22

My Votes on four of the six items:

Tom

On 08/16/11 13:22, Korchemny, Dmitry wrote:

>
> Mantis 2328 __x__ Yes ____ No
>
> http://www.eda-stds.org/mantis/view.php?id=2328
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5319&type=bug
> <http://www.eda-stds.org/mantis/file_download.php?file_id=5319&type=bug>
>
>
>
> 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=5285&type=bug
>
>
>
> Mantis 2578 ____ Yes __x__ No
>
> http://www.eda-stds.org/mantis/view.php?id=2578
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5326&type=bug
> <http://www.eda-stds.org/mantis/file_download.php?file_id=5326&type=bug>
>
Am I looking at the correct proposal? I thought that we had agreed to
revert to Ben's original definition: "prop_expr1 implies prop_expr2" is
nonvacuous if prop_expr1 is nonvacuous, prop_expr1 is true and
prop_expre2 is nonvacuous
Also, the formal syntax in the proposal for F.5.3.3 does not seem to
match the text. I am interpreting this as P1 implies P2 is nonvacuous
iff P1 is nonvacuous and P2 is nonvacuous

>
>
> 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=5325&type=bug
> <http://www.eda-stds.org/mantis/file_download.php?file_id=5325&type=bug>
>
>
>
> Mantis 3206 ____ Yes ____ No
>
> http://www.eda-stds.org/mantis/view.php?id=3206
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5328&type=bug
> <http://www.eda-stds.org/mantis/file_download.php?file_id=5328&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=5281&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.