[sv-ac] alignment with Draft 3a

Hi All:

The proposals for the following Mantis items have all been aligned with

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

Based on Brad Pierce's recommendation, the fixes for 1855 have been
added to 1722, and this proposal needs to be revoted.

Shalom Bresticker had comments on 1601 that require changes of enough
substance that the proposal will also need to be revoted.

The other items remain in the resolved state.

J.H.


> 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. =20
> 
> 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.