[P1800] List of mantis items approved by the Champions

P1800 Working Group,

The proposals for the following Mantis items have been approved by the
Champions, by email vote. We would like to get approval for these Mantis
items at the next Working Group meeting.

Neil


1.  0001945  SV-BC Syntax error in 19.6.1 example
             Unanimously approved by SV-BC on August 6, 2007
2.  0001935  SV-BC ansi_port_declaration BNF (A.1.3)
             Unanimously approved by SV-BC on August 6, 2007.
3.  0001927  SV-EC clarification of default sequence transition bin in covergroup
             Approved on July/23/2007 unanimously vote.
4.  0001899  SV-BC Follow-up to 1831, redundant text
             approved by SV-BC e-mail vote that concluded on July 9, 2007.
5.  0001864  SV-BC D3a 6.7: logic and reg are not just equivalent types
             Approved unanimously by SV-BC on August 6, 2007
6.  0001860  SV-BC D3 22.2.2.2 ref port declaration syntax
             Unanimously to be a duplicate of 1935 by SV-BC on August 6, 2007
7.  0001855  SV-AC issues with 22.10 after 1722
             duplicate 8y/0n/2a
8.  0001814  SV-BC D3 33.5.2.2: sentence in wrong place
             unanimously approved by SV-BC e-mail vote concluded on July 9, 2007.
9.  0001804  SV-AC Add abiltiy to require equiv types for typed formal args
             Voice vote on 2007-08-07 not to address this since lint tools can
             check such conditions 8y/0n/0a
10. 0001794  SV-BC uninstantiated interface/program
             Approved unanimously by SV-BC on August 6, 2007
11. 0001743  SV-BC Refinements to 0000331
             already covered by expanded version of 0000331
             by SV-BC on August 6, 2007, unanimously
12. 0001689  SV-BC Return type of $bits()
             duplicate of SVDB 919. unanimous
13. 0001626  SV-BC 12.3: should say clearly that 1364 10.4.4c) does not apply
             no action as it was already addressed by the editor
14. 0001625  SV-BC 20.1: typo - "block" -> "blocks"
             On July 9, 2007 the attached proposal, typos_1625.htm, unanimously
             approved by the SV-BC.
15. 0001607  SV-BC import of a forward typedef
             SV-BC unanimously approved resolution of this issue
16. 0001484  SV-BC Package declarations should not refer to $unit
             SV-BC unanimously approved
17. 0001459  SV-EC Mailbox 'new' method should never return null
             passed unanimously
18. 0001351  SV-BC 12.4.3: endtask should not have ;
             was unanimously approved by SV-BC e-mail vote
19. 0001341  V-1364 effect of `resetall on `begin_keywords not
             defined in 1364, 19.11
             unanimously approved
20. 0001331  SV-BC 10.4.1.3 xref to 8.17 should be 8.18
             SV-BC unanimously approved
21. 0001233  SV-BC 8.13.1: "similar assignments above" unclear
             unanimously approved by SV-BC e-mail vote


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