[P1800] Documents for the Working Group meeting Nov 11th

-- 
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 Oct 30, 2010.
There were 19 others that were sent back to the technical committees (not
shown in this list).

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.

4 of 7 Champions participated in this email vote.
Stu is on sabbatical and 2 others did not participate.

Neil

The Resolution of being a duplicate was unanimously approved by the
Champions in the email vote which ended on October 30, 2010.

1. 2747 SV-AC Typing error, missing () around property declaration

The Resolution of "no change required" was unanimously approved by the
Champions in the email vote which ended on October 30, 2010.

2. 2491 SV-AC Conflicting rules in 16.17 (D7)
3. 2916 SV-AC Wrong font in 16.4.2
4. 2480 SV-AC Bug note 7169 not implemented in 1668
5. 2484 SV-AC deferred cover should have only statement_or_null, not a full
6. 2807 SV-AC Typing error: actual parameter in example not declared
7. 2228 SV-AC Error in example in Clause 17.11.4
8 . 2232 SV-AC Incorrect region name throughout clause 16

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

9. 2479 SV-AC Annex F.5.2.1 conflicts with changes from 2434
10. 2551 SV-AC trivial example error
11. 2362 SV-AC 16.14 mention of assertion control system tasks is unconnected
12. 2955 SV-AC Checker example is wrong
13. 3020 SV-AC Recursive property Restriction 4 is not consistent between