Hi Folks: Below are the results from the Champions meeting on 2007-11-28 for SV-AC items. J.H. 1641 SV-AC need a way to specify severity for printing general error messages Stu - this seems to refer to another change already made. - __LINE__ and __FILE__ are defined in Mantis 1588 Move: Stu - approve the proposal for Mantis 1641 Second: Shalom Passed unanimously 1737 SV-AC Incomplete fix from 1381 Failed in the Champions 12-day email vote (ending Sept 17th). The proposal was updated and approved by voice vote. John - had a dependency on 1768 and coloring issues (from email vote) Move: John - approve the proposal for Mantis item 1737 Second: Brad Passed unanimously 1731 SV-AC Sampled value functions with arbitrary clocks Passed with friendly amendments in the Champions 12-day email vote (ending Sept 17th). The proposal was updated and approved by email vote. Move: Dave - approve the proposal for Mantis item 1731 Second: John Passed unanimously 1601 SV-AC new keyword for untyped formal arguments Failed to pass in the Champions August 29, 2007 email vote with 1 no vote We still need to address this no vote. In the meantime, some friendly amendments were made and approved by the technical committee (passed by email vote). Stu - friendly amendments - untyped keyword needs to be added to annex b. - also begin_keyword directive section also if needed. The Editor is to take care of both of these Shalom - 1846 - begin_keywords - hasn't yet passed the svbc - should have committees just mention what goes in annex b. then the Editor will update it when 1846 passes. John - wouldn't cause other things in ac to be held up if not approved. a user convenience Dave - mailbox - has no formal type associated with it. - would like to solve this if had time. could use the same keyword for mailboxes - 'untyped' is a type itself. Stu - ok allowing time for svec to consider it for use with mailbox. FM - there is a dependency on 1549 John - it should be made clear that the action item is for svec if the proposal is rejected. Shalom - ec needs to complete early enough to give feedback to ac. John - the deadline can be after the new year. - if ec wants a different mechanism - ac would need more time. Move: Shalom - approve the proposal for Mantis item 1601 Second: John Oppose: FM - wants to see if it can be applied in other places Dave - schedule doesn't allow time for complete review - appears to be significant enough to require review Stu - wants sv-ec to have time to review it Neil - it should go to the sv-ec For: John, Brad, Shalom Motion failed - the sv-ec will be given time to review this proposal 2188 SV-AC Typo in 38.4.1 Placing assertion system callbacks Move: Stu - approve the proposal for Mantis item 2188 Second: Francoise Passed unanimously 2175 SV-AC D4 implementation feedback Move: Stu - approve the proposal for Mantis item 2175 Second: John Passed unanimously 2171 SV-AC Wrong usage of "property expression" in Reactive region description. John - 2 abstains - were due to 2 people not voting in email vote Stu - any backward compatibility issues? John - an action block is with a concurrent assertion construct Move: Brad - approve the proposal for Mantis item 2171 Second: John Passed unanimously 1800 SV-AC Example with throughout in Clause 16.8.8 on pp332 of P1800-2008 Draft 4 is incorrect Stu - only adding parens - when it is tough to see a change - add a note Move: Stu - approve the proposal for Mantis item 1800 Second: John Passed unanimously 1494 SV-AC Infering enabling condition for coverage statement John - resolution is to close as a duplicate. AI/Neil - the proposal should be deleted or marked such that not to be done. Move: Brad - approve the resolution of duplicate for Mantis item 1494 Second: John Passed unanimously 1199 SV-AC Standard reporting mechanism for functional errors/warnings, etc. Move: Dave - approve the resolution of duplicate for Mantis item 1199 Second: Brad Passed unanimously -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Dec 4 02:50:09 2007
This archive was generated by hypermail 2.1.8 : Tue Dec 04 2007 - 02:50:17 PST