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