[sv-ac] 2005 (deferred assertions): can we split into two proposals?

From: Seligman, Erik <erik.seligman_at_.....>
Date: Thu Nov 15 2007 - 11:33:24 PST
 
Hi John-- is it too late to split 2005 into two proposals, and thus add
a new one to the active list?

I think we are in general agreement (even with the skeptics) on the
concept for deferred assertions, so I would like to prepare an
almost-final version of this proposal.

But there is still some controversy about exactly how to add optional
event controls, so I'm thinking it might be best to make a separate
proposal on adding event controls to deferred assertions, and create the
original proposal without this feature.

This will also have the beneficial side effect of getting the deferred
assertions ready for use by sv-bc in the 2008 proposal (glitch-free
implied case assertions) more quickly, since I don't think that usage
requires the event controls.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Thu Nov 15 11:33:50 2007

This archive was generated by hypermail 2.1.8 : Thu Nov 15 2007 - 11:34:21 PST