[sv-ac] review of Mantis 2100

I have reviewed Mantis 2100 and found several issues , I have added a note and changed it to Editor state.
 
 
Issue 1 (found by Doron):
in 16.17.1 - 
 
The set of semantic leading clocks of sync_accept_on(b) q is the set of semantic leading clocks of q.
- The set of semantic leading clocks of sync_reject_on(b) q is the set of semantic leading clocks of q.
 
should be:
{inherited} instead of "the set if semantic leading clocks of q".
 

Issue 2:
F.3.4.6 Derived reset abort operators - 
( sync_reject_on ( b ) P ) $B"a(J (not accept_on ( b ) not P )
should be:
(sync_reject_on(b) p) $B"a(J (not(sync_accept_on(b) not p)).
 
also : the implementation in F.4.1 isn't complete (till next draft).
 
Issue 3:
O.2 Source code
 
#define vpiSyncAcceptOnOp 85 /* accept_on operator */
#define vpiSyncRejectOnOp 86 /* reject_on operator */
 
in the comment it should be sync_accept_on/sync_reject_on

 
 
Yaniv
 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.