> On Tue, 5 Jun 2001 [EMAIL PROTECTED] wrote:
> > but has anyone thought of running these against Wine?
>
> I'm not sure if it'd do that much good. They're currently working on
> checking the XFree86 tree (see the Xpert mailing list archives on
> www.XFree86.org if you want), without a lot of big
On Tue, 5 Jun 2001 [EMAIL PROTECTED] wrote:
> On the kernel list and in Alan Cox's patches for the kernel there are a lot
> of references to some logic checking tools being generated by Stanford. I
> do not know if these are generally available
If you've seen so many references, why have you n
> Maybe we have to ask them to check our code, rather than the other way
> around?
I think it far to much to ask.
As Eric said, while it is AFAIK highly configurable with specific scripts,
for each kind of check it is currently seems to be very much focused
on the Linux kernel.
I also believe,
Maybe we have to ask them to check our code, rather than the other way
around?
Patrik Stridvall <[EMAIL PROTECTED]> on 05-06-2001 12:31:25 PM
To: David Goodenough/DGA/GB
cc: [EMAIL PROTECTED]
Subject: RE: Stanford Checker
[Forgot to include list. Trying again.]
> On t
[Forgot to include list. Trying again.]
> On the kernel list and in Alan Cox's patches for the kernel
> there are a lot
> of references to some logic checking tools being generated by
> Stanford. I
> do not know if these are generally available but has anyone thought of
> running these against
