[P1800] Mantis items approved by Champions

P1800 Working Group,

Below are the results of the Champion's email vote which ended on Feb 7, 2011.
There were 6 others that were sent back to the technical committees (not
shown in this list). Three of those passed with friendly amendments.

We would like to get approval for those Mantis items that have been approved
by both the Technical Committees and the Champions. A summary of the Mantis
items is shown below.

All of these resolutions were unanimously approved by both the Champions
and the Technical Commitees (except for item 14).

5 of 7 Champions participated in this email vote.
Stu is on sabbatical and John is currently on a leave.

Neil

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

P1800 Working Group,

Below are the results of the Champion's email vote which ended on Feb 7, 2011.
There were 6 others that were sent back to the technical committees (not
shown in this list). Three of those passed with friendly amendments.

We would like to get approval for those Mantis items that have been approved
by both the Technical Committees and the Champions. A summary of the Mantis
items is shown below.

All of these resolutions were unanimously approved by both the Champions
and the Technical Commitees (except for item 14).

5 of 7 Champions participated in this email vote.
Stu is on sabbatical and John is currently on a leave.

Neil

The Resolution of being a duplicate was unanimously approved by the
Champions in the email vote which ended on February 7, 2011.

1. 3270 SV-CC 37.34 Constraint expression missing foreach constraint
2. 1559 SV-BC To which types can $countones be applied?
3. 3008 SV-AC In $past BNF, "expression" should be "expression1"

The Resolution of "no change required" was unanimously approved by the
Champions in the email vote which ended on February 7, 2011.

4. 3123 SV-CC Exact mapping between SV and C data types not clearly defined.
5. 1756 SV-AC The LRM does not indicate how the control tasks
                $asserton/off/kill affect verification statements in initial
                blocks

The proposal was unanimously approved by the
Champions in the email vote which ended on February 7, 2011.

6. 2359 SV-CC Example (Traversing expressions) should use vpiType instead
                of vpiExpr
7. 3215 SV-CC vpiConstraintItem should also be an iteration method
8. 3289 SV-CC Miscellaneous editorial errors relating to DPI text
9. 2934 SV-AC Precedence and associativity of case operator is not shown
                in the table
10. 2552 SV-AC Confusing comments regarding nexttime operator
11. 2330 SV-AC Clarify that number_of_ticks argument to $past must be
                compile-time constant
12. 2452 SV-AC No vacuity information about synchronous aborts

The proposal was unanimously approved by the
Champions in the email vote which ended on December 13, 2010.

13. 2938 SV-AC Surprising (to some users) interaction between deferred
                assertions & short-circuiting

The proposal was unanimously approved by the
Champions in the email vote which ended on February 7, 2011.

There was one abstain in the Technical Committee.
Anupam - Danger of creating confusion by clarifying something that is already
clear.

14. 2927 SV-AC Precedence between sequence/property operator and normal
                expression operator
Received on Wed Feb 9 19:17:01 2011