RE: [sv-ac] Updated proposal for 3069

From: Neil Korpusik <neil.korpusik@oracle.com>
Date: Wed Nov 16 2011 - 15:01:12 PST

<forwarding bounced email from jacob.katz@intel.com>

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

text/plain attachment: bounced_email

Received on Wed Nov 16 15:01:43 2011

This message: [ Message body ]
Next message: Francoise Martinolle: "RE: [sv-ac] RE: Mantis 3295: need a way to control only asserts/covers/assume directives"
Previous message: Korchemny, Dmitry: "RE: [sv-ac] RE: Mantis 3295: need a way to control only asserts/covers/assume directives"
Maybe in reply to: Katz, Jacob: "[sv-ac] Updated proposal for 3069"
Next in thread: Korchemny, Dmitry: "[sv-ac] RE: Updated proposal for 3069"

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

This archive was generated by hypermail 2.1.8 : Wed Nov 16 2011 - 15:01:49 PST