Subject: Re: [sv-ac] Updated issue list
From: Cindy Eisner (EISNER@il.ibm.com)
Date: Tue Feb 18 2003 - 23:32:16 PST
steve,
i keep getting error messages when trying to open this. can you resend -
perhaps in the original format?
thanks,
cindy.
Cindy Eisner
Formal Methods Group Tel: +972-4-8296-266
IBM Haifa Research Laboratory Fax: +972-4-8296-114
Haifa 31905, Israel e-mail:
eisner@il.ibm.com
Stephen Meier <Stephen.Meier@synopsys.com>@eda.org on 19/02/2003 04:53:49
Sent by: owner-sv-ac@eda.org
To: sv-ac <sv-ac@eda.org>
cc:
Subject: [sv-ac] Updated issue list
Hi:
Here is updated issue list in HTML.
Note that Erich Marschner proposal on dynamic variables is now past due.
Steve
Steve Meier (stephen.meier@synopsys.com) W: 650-584-4476, Cell:
408-393-8246
This archive was generated by hypermail 2b28 : Tue Feb 18 2003 - 23:29:17 PST