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

Re: PVS on Mac?

I second this request - and would be willing to help with a port to Mac OS X.

- David (cok@frontiernet.net)

Pertti Kellomäki <pk@cs.tut.fi>
Sent by: pvs-owner@csl.sri.com

04/12/2002 04:58 AM

        To:        pvs@csl.sri.com
        Subject:        PVS on Mac?

Hello all¸

I am contemplating an Apple iBook, which seems to be a nice choice
if one wants a Unix laptop. A major drawback is that PVS does not
currently run on it. Is there any chance of a version of PVS for
PPC and Mac OS X?