[sv-ac] Mantis 1849 - VPI object diagrams for immediate assume and cover

From: Eduard Cerny <Eduard.Cerny_at_.....>
Date: Tue May 29 2007 - 11:19:37 PDT

Hi,
I have entered mantis #1849 for this purpose.
ed

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

Received on Tue May 29 11:19:56 2007

This message: [ Message body ]
Next message: Stuart Sutherland: "RE: [sv-ac] Mantis and proposal for restrict property verification statement"
Previous message: John Havlicek: "[sv-ac] notes from SV-AC meeting 2007-05-29"

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

This archive was generated by hypermail 2.1.8 : Tue May 29 2007 - 11:20:16 PDT