[sv-ac] Proposal uploaded for Mantis 2722

From: Thomas J Thatcher <thomas.thatcher@oracle.com>
Date: Fri Jul 09 2010 - 16:56:15 PDT

Hello Everyone,

I have uploaded a proposal for Mantis 2722. Nothing controversial, but
probably a few details to fix. We can discuss it at the next meeting.

Thanks,

Tom

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

Received on Fri Jul 9 16:58:15 2010

This message: [ Message body ]
Next message: ben cohen: "Re: [sv-ac] Proposal uploaded for Mantis 2722"
Previous message: ben cohen: "Re: [sv-ac] Mantis 1756: The LRM does not indicate how the control tasks $asserton/off/kill affect verification statements in initial blocks"
Next in thread: ben cohen: "Re: [sv-ac] Proposal uploaded for Mantis 2722"
Reply: ben cohen: "Re: [sv-ac] Proposal uploaded for Mantis 2722"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Fri Jul 09 2010 - 16:58:42 PDT