[sv-bc] Champions results from Nov 17 conference call

Short summary of the Champions November 17, 2011 conference call.
The mantis database will be updated either later today or sometime
tomorrow with the details.

The following were approved "as-is"

  1. 3608 SV-BC Resolution of dotted names needs to mention parameters
and nets
  2. 1231 SV-CC Wrong cross reference in DPI Clause 26.2.2
  5. 3278 SV-EC virtual method type rules
  6. 2505 SV-EC class select: what is allowed after the dot?
  7. 3564 SV-AC Sec 9.2.2.2.1 needs to clarify whether variables read in an
  8. 2328 SV-AC Review and relax restrictions on data types in assertions
  9. 3033 SV-AC Enhance checker modeling capabilities
10. 3213 SV-AC Update definition of sampled value
11. 2845 SV-EC virtual interface type checking versus interface type
that had
12. 2987 SV-EC Soft Constraints

The following were sent back to the Technical Committee for updates

  3. 2506 SV-EC Non-trivial coverage space shapes and joint conditions are
  4. 1356 SV-EC Multiple inheritance

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