[sv-ac] IEEE 1800 SV-AC Status Summary 2008-08-13

IEEE 1800 SV-AC Status Summary  2008-08-13
------------------------------------------

- The following Mantis Items have been resolved or re-resolved since the
   last status summary:

   . 2173  Add Property Case  (Voice vote, 2008-07-14)
	  - Approved friendly amendments from Champions.
   . 2327  Vacuity Definitions for Property Case (e-mail vote 2008-07-23)
   . 2205  $assertoff, $assertkill $asserton definitions
	  - Resolved as duplicate of 1987.  (Voice vote, 2008-07-14)
	  - NOTE:  Mantis still has this in state ASSIGNED

- The following Mantis Items have been approved by the champions since
   the last status summary:

   . 2173  Add Property Case
	- NOTE it was on the agenda for the 8/1 champions meeting
		I assume it passed, but don't have the result.
   . 2431  Addressing Editor issue regarding \equiv operator definition
   . 2326  VPI Diagrams for Property Case


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