[sv-ac] reviewed the draft 6 changes

David:

I reviewed the Draft 6 changes for LRM-293 and found only two problems.
Both are due to problems in what I sent you, not in the way the Draft 6
changes were created.

1. LRM-293. In the text of the new Section "17.11.5 Non-degeneracy", change

      1. Any sequence that is used as a property must be non-degenerate.

   to

      1. Any sequence that is used as a property must be non-degenerate and
         must not admit any empty match.

   Rationale: This change was suggested by Surrendra to align this condition
   with the condition at the beginning of 17.11.

2. LRM-293. Annex H, Section H.3.3.2. Change

      * "pending" or "holds (but does not hold strongly)" otherwise

   to the following two bullets

      * "holds (but does not hold strongly)" if w |= A and w |/=^+ A.
  
      * "pending" if w |=^- A and w |/= A.

   Rationale: This change is needed to make the SVA 3.1a description
   more precise and aligned with the PSL 1.1 description in the latest
   version of Appendix B of the PSL 1.1 LRM.

Best regards,

John H.
Received on Mon Mar 15 11:40:27 2004