[sv-ac] Updated proposal for #1737: inferred enabling condition

From: Eduard Cerny <Eduard.Cerny_at_.....>
Date: Thu Mar 08 2007 - 07:14:17 PST

Hello,
I have uploaded a new version of the proposal, attached here for
convenience. It distinguishes between assert, assume and cover property.
Regards,
ed

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

text/html attachment: enablingCondition_1737.070308.htm

Received on Thu Mar 8 07:14:43 2007

This message: [ Message body ]
Next message: Eduard Cerny: "[sv-ac] Updated #1648: default disable"
Previous message: Eduard Cerny: "RE: [sv-ac] call for email vote on mantis 1735"
Next in thread: Thomas Thatcher: "Re: [sv-ac] Updated proposal for #1737: inferred enabling condition"
Reply: Thomas Thatcher: "Re: [sv-ac] Updated proposal for #1737: inferred enabling condition"

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

This archive was generated by hypermail 2.1.8 : Thu Mar 08 2007 - 07:14:51 PST