- In 16.9.2, the grammar contains: consecutive_repetition ::= [* const_or_range_expression ] | ##[*] | ##[+] The '##' should not be there on the latter two lines. It looks like this part of the grammar was transcribed incorrectly from 1466. - 16.9.3: As we discussed, respond to the editor's note by using standard '=' symbols, with a line of explanation below. - 16.9.4: p.333, start of large paragraph with lots of edits: I believe that after the crossouts, the start of the paragraph resolves to: number_of_ticks shall be 1 or greater. If number_of_ticks is not specified, then it defaults to 1. $past returns the sampled of expression1 that was ... I think the word 'value' should have been retained between 'sampled' and 'of'. - 16.10: p.345, final paragraph: "initializationassignments" appears as one word. - 16.10, p.348, example at bottom: where did 'do1' come from here? Is something missing in this example? (If there is an issue, it was in the original proposal 1549.) John-- can you comment? Erik Seligman Formal Verification Architect Corporate Design Solutions Design Technology and Solutions Intel Corporation M.S. JF4-402 2111 NE 25th Ave Hillsboro, OR 97124 Phone: (503) 712-3134 -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Sun Jun 29 13:42:41 2008
This archive was generated by hypermail 2.1.8 : Sun Jun 29 2008 - 13:43:30 PDT