[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Q; list (additional information)

To: pvs-help@csl.sri.com
Subject: Re: Q; list (additional information)
From: Dave Stringer-Calvert <dave_sc@csl.sri.com>
Date: Wed, 19 May 1999 15:38:36 -0700
cc: pvs-help@csl.sri.com
In-reply-to: Your message of "Wed, 19 May 1999 16:20:11 -0000." <3742E4BB.357606ED@dcs.gla.ac.uk>


Can you please send a full dump of your specification and proofs (use
M-x smail-pvs-files) to me and I'll investigate the problem.  The error
from grind looks very suspicious.

Dave

---
Dr Dave Stringer-Calvert, Software Engineer, Computer Science Laboratory
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA
Phone: (650) 859-3291 Fax: (650) 859-2844 David.Stringer-Calvert@sri.com

References:
- Q; list (additional information)
  - From: Kong Woei Susanto <susanto@dcs.gla.ac.uk>

Prev by Date: Q; list (additional information)
Next by Date: Re: problem of pvs to z specification
Prev by thread: Q; list (additional information)
Next by thread: Q: list
Index(es):
- Date
- Thread