Re: [sv-champions] Agenda for Champions conference call Nov 16th

Champions,

I would like to move the conference call from Wednesday Nov 16
to Thursday Nov 17. This will allow Shalom to attend.

Please let me know if this will work for you.

Neil

On 11/09/11 16:39, Neil Korpusik wrote:
> Hi Champions,
>
> Based on the updated schedule that was put in place at the last Working
> Group meeting, there will be a Champion's conference call on November 16th,
> 8am-10am Pacific time. Contact information will be sent out by this Friday.
>
> The final agenda won't be set until this Friday. As of today, the following
> set of mantis items is up for review. This agenda won't change unless one
> of the Technical Committees moves a mantis item from the Feedback state to
> the Resolved state by this Friday.
>
>
> Ready for the Champions (12)
> ----------------------------
> 3608 SV-BC Resolution of dotted names needs to mention parameters and nets
> 1231 SV-CC Wrong cross reference in DPI Clause 26.2.2
> 2506 SV-EC Non-trivial coverage space shapes and joint conditions are
> difficult
> 1356 SV-EC Multiple inheritance
> 3278 SV-EC virtual method type rules
> 2505 SV-EC class select: what is allowed after the dot?
> 3564 SV-AC Sec 9.2.2.2.1 needs to clarify whether variables read in an
> 2328 SV-AC Review and relax restrictions on data types in assertions
> 3033 SV-AC Enhance checker modeling capabilities
> 3213 SV-AC Update definition of sampled value
> 2845 SV-EC virtual interface type checking versus interface type that
> had been
> 2987 SV-EC Soft Constraints
>
>
> Below is the new schedule from the last Working Group meeting:
>
> Nov 1 - Champions email vote ends
> Nov 11 - Technical Committees done responding to Champions
> Nov 16 - Champions vote done
> Nov 23 - Technical Committees done responding to Champions
> Nov 30 - Last Champions vote
> Dec 1 - Working Group meets
>
>
> Neil
>

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