[sv-ac] alignment to Draft 3

From: John Havlicek <john.havlicek_at_.....>
Date: Mon Jul 16 2007 - 04:33:26 PDT
All:

The following proposals are up for review by the champions:

1460   Allow actions within assume property statement
1466   shortcuts for delay and consecutive repetition
1543   Meaningless sentence in 17.15 and Annex H
1550   $sampled function definition
1567   22.9: in Syntax 22-7, should be no semicolon
1591   17.7.3, 22.9: $past syntax not precise
1601   new keyword for untyped formal arguments
1648   Default reset for assertions
1674   Context value functions
1677   Add $changed sampled value function
1704   need to specify behavior of attached subroutine on empty seq match
1722   there exists bind inconsistencies between the BNF and the text


It has been noted that these are not all aligned to Draft 3a.

I recall when Draft 3 came out that we made a decision not to
go back through the proposals that had already been passed, but
at this point I think we have to align them all.  

Can the owners of these proposals please make the necessary minor
modifications to ensure that the section numbering and references
are correct?  I do not think we need to re-vote these items.

J.H.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Jul 16 04:33:49 2007

This archive was generated by hypermail 2.1.8 : Mon Jul 16 2007 - 04:34:15 PDT