Hi Dmitry,
I wrote down some of the points we discussed, perhaps you can combine them with notes from Ben and yourself.
Best...
ed
- policy - all reminded
- minutes approval: moved Ed, Sec. Tapan, approved
- email votes:
o 2938 failed, Erik not on call, delay discussion till next time
o 3147 - need to define max. property. once defined, objections can be removed
o 2491, 2479 - passed
- reporting/ control, vpi, etc. on assertions containing future-value functions... unresolved
- send email vote request to close 1763 and 1756.
- send email vote request for 2871.
- enhancements:
o output arguments in checkers - need to define scheduling semantics of continuous and blocking assignments, continue by email discussion
o real-time assertions - Scott will update next time??
o 2412 - no inference of clocks into disable iff expressions, hence not into .triggered either. Proposal to be discussed by email.
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Jul 27 10:38:34 2010
This archive was generated by hypermail 2.1.8 : Tue Jul 27 2010 - 10:38:37 PDT