[sv-champions] Email vote ending July 1, 2011

P1800 Champions,

We are conducting an email vote for mantis items that are in the resolved
state. There are 8 mantis items ready for the Champions. I have put all
8 into this email vote. Three of these mantis items are for for no changes at
all. Four of them have a significant amount of changes.

Mark your votes as being either Approve or Oppose. If you Oppose, please
specify a reason. You have until July 1, 6pm (PST) to cast your votes.

Neil

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

P1800 Champions,

We are conducting an email vote for mantis items that are in the resolved
state. There are 8 mantis items ready for the Champions. I have put all
8 into this email vote. Three of these mantis items are for for no changes at 
all. Four of them have a significant amount of changes.

Mark your votes as being either Approve or Oppose. If you Oppose, please
specify a reason.  You have until July 1, 6pm (PST) to cast your votes.

Neil

1. 3398 SV-DC User defined nets and resolution functions
   There is a proposal (6 pages of completely new text)
   Unanimous voice vote in SV-DC committee meeting on 2011-06-15.
   
   Approve __ Oppose __

   
   

2. 3213 SV-AC Update definition of sampled value
   There is a proposal (11 pages)
   Passed by voice vote 2011-06-14: 12y/0n/0a.
   
   Approve __ Oppose __

   
   

3. 3293 SV-EC Clarify $cast behaviour on class handles
   There is a proposal (1 page - all new text)
   Unanimously approved in sv-ec meeting June 6 2011, proposal 3293-proposal-v4.pdf
   
   Approve __ Oppose __

   
   

4. 3279 SV-EC Enhance method override rules to allow covariant typing
   Close as duplicate of 3278.
   Unanimously approved to CLOSE, already merged into 3278, in email vote, ended June 6 2011.
   
   Approve __ Oppose __

   
   

5. 3278 SV-EC virtual method type rules
   There is a proposal (2 pages)
   Unamiously approved at sv-ec meeting, June 6 2011, proposal: 3278-v4.pdf
   
   Approve __ Oppose __

   
   

6. 0210 SV-BC Allow use of generate in module port list
   No change required
   On May 23, 2011 the SV-BC unanimously voted to resolve this issue with no change as the committee was unable to find a solution that is technically sound and acceptable to users.
   
   Approve __ Oppose __

   
   

7. 2556 SV-AC Explicit package scope indication is not allowed for checkers
   There is a proposal (2 pages - a small number of BNF changes)
   Passed by voice vote 2011-05-31: 11y/0n/0a.
   
   Approve __ Oppose __

   
   

8. 3036 SV-AC Explicitly allow unpacked data types for arguments of assertion system functions
   Duplicate of 2476
   Approved by the voice vote 2011-01-17: 7y/0n/0a.
   
   Approve __ Oppose __