There are 31 mantis items "still in play".

List of Mantis items that are ready for Working Group approval  (10)
--------------------------------------------------------------

The propsal was approved with friendly amendments (from the Champions):
   1.  2476 SV-AC Need clarification about system functions $onehot, etc
   2.  3028 SV-EC constraints for unique array elements.
   3.  2093 SV-AC Checker construct should permit output arguments

The proposal was approved "as-is" by the Champions:
   4.  1067 SV-BC out-of-range or x/z index to array of reals
   5.  3022 SV-CC Annex I import/export reversals
   6.  1352 SV-CC VPI 27.37 "Multiclock sequence expression" error
   7.  3192 SV-CC 37.8 section has wrong value definitions for vpiAccessType
   8.  3772 SV-CC vpiParameter label is missing in first diagram in 37.2 

The resolution of "no change required" was approved by the Champions:
   9.  1649 SV-CC possibly redundant VPI constraint object types
   10. 1653 SV-CC Cannot get to class defn from VPI class typespec


Waiting for procedural update before moving to Working Group (1)
------------------------------------------------------------
   11. 3230 SV-BC task should be function in definition of static functions


Ready for the Champions (12) - on the agenda for Nov 16, 2011 conference call
----------------------------
   12. 3608 SV-BC Resolution of dotted names needs to mention parameters, nets
   13. 1231 SV-CC Wrong cross reference in DPI Clause 26.2.2
   14. 2505 SV-EC class select: what is allowed after the dot?
   15. 2506 SV-EC Non-trivial coverage space shapes and joint conditions 
   16. 1356 SV-EC Multiple inheritance
   17. 3278 SV-EC virtual method type rules
   18. 3564 SV-AC Sec 9.2.2.2.1 needs to clarify whether variables read in an 
   19. 2328 SV-AC Review and relax restrictions on data types in assertions
   20. 3033 SV-AC Enhance checker modeling capabilities
   21. 3213 SV-AC Update definition of sampled value
   22. 2845 SV-EC virtual interface type checking versus interface type that 
   23. 2987 SV-EC Soft Constraints


Currently in the feedback state: (6)
--------------------------------
Approved by the Champions with friendly amendments
   24. 3113 SV-AC Add port_identifier to constant_primary BNF for sequences, 

Opposed by the Champions
   25. 3069 SV-AC Relax rules for $global_clock resolution
   26. 3206 SV-AC Deferred assertions are sensitive to glitches
   27. 3295 SV-AC need a way to control only asserts/covers/assume directives
   28. 3145 SV-AC Need to clearly define "maximal property"
   29. 3423 SV-CC No way in VPI to trace instance-array connections across


SV-CC allowed to add VPI changes for the following: (2+2)
---------------------------------------------------
30. 3001 SV-EC Proper Polymorphic behavior of instantiation
31. 3724 SV-DC Allow generic interconnect for "typeless" connections
*   1356 SV-EC Multiple inheritance
*   2987 SV-EC Soft Constraints

    * Shown in other lists above (not done yet)