Re: [sv-ac] SV AC proposals for the champions meeting agenda

Hi Dmitry,

1806 is currently on the Champion's agenda for tomorrow.
I am going to add 2069 and 1932 to the end of the list.
There are about 25 other items ahead of them. Our meeting
will only be for 1.5 hour tomorrow. We may not have time
for everything.

Neil





Korchemny, Dmitry wrote:
> Hi Neil,
> 
>  
> 
> The following Mantis items have been reopened to implement the 
> champions’ feedback from 2008-3-13:
> 
>     * 2069
>     * 1932
>     * 1806 (though there was no official feedback regarding this item,
>       it was noted by SB and JH that the mention of /restrict property/
>        is missing in the description of assertion statements).
> 
>  
> 
> Would it be possible to conditionally put them on the next champions’ 
> meeting agenda in case the changes have been approved by SV-AC? SV-AC 
> has a meeting on 2008-3-20 at 14:00 UTC, right before the champions 
> meeting and the approved items may be discussed by the champions.
> 
>  
> 
> Thanks,
> 
> Dmitry
> 
>  
> 
>  
> 
> ---------------------------------------------------------------------
> Intel Israel (74) Limited
> 
> This e-mail and any attachments may contain confidential material for
> the sole use of the intended recipient(s). Any review or distribution
> by others is strictly prohibited. If you are not the intended
> recipient, please contact the sender and delete all copies.
> 
> 
> -- 
> This message has been scanned for viruses and
> dangerous content by *MailScanner* <http://www.mailscanner.info/>, and is
> believed to be clean.


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