[sv-ac] 1668 passed

From: John Havlicek <john.havlicek_at_.....>
Date: Tue Sep 25 2007 - 05:14:18 PDT
Hi Folks:

1668 passed in our e-mail ballot with one friendly amendment
from Lisa Piper.  See the results below.

I have implemented the friendly amendment and fixed some 
font problems in 1668-2007-09-25.pdf (see the change notes).

I also changed the color purple to magenta in the Annex F
document and followed Lisa Piper's suggestion to color the 
cited 1549 additions in magenta rather than blue and make all
1668 additions in blue.  This is uploaded as 
1668-formal-semantics.2007-09-25.pdf.

I would like to have a voice vote to approve these minor 
modifications in today's meeting.

J.H.

---------------------------------------------------------------------------

Ballot on Mantis 1668 

- Called on 2007-09-17, final ballots due by 2007-09-24 T 23:59-07:00.


yv[xxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
 n[-------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
yv[-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
yv[xxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
yv[-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
 n[---------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
 n[-------x--xxx.....................] Joseph Lu (Altera)
yv[xxxx..............................] Johan Martensson (Jasper)
 n[------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
yv[xxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
yv[xxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
yv[--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
yv[xxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)
   |---------------------------------- attendance on 2007-09-11
 |------------------------------------ voting eligibility for this ballot
|------------------------------------- email ballots received


	Legend:
		x = attended
		- = missed
		r = represented
		. = not yet a member
		v = valid voter (2 out of last 3)
		n = not valid voter
                t = chair eligible to vote only to make or break a tie

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Sep 25 05:14:54 2007

This archive was generated by hypermail 2.1.8 : Tue Sep 25 2007 - 05:15:09 PDT