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

Re: [PVS-Help] Re: Canm't launch PVS

This bug and it's fix were reported in bug # 765:


> From:    Zaher S Andraus <zandrawi@eecs.umich.edu>
> Subject: [PVS-Help] Re: Canm't launch PVS 
> Date:    Sun, 21 Dec 2003 15:42:48 -0500 (EST)
> To:      Sam Owre <owre@csl.sri.com>
> Cc:      PVS Help List <pvs-help@csl.sri.com>
> Actually, I solved that problem, but now I realized that
> PVS is not supported on Linux Redhat 9 ? I had a visit from
> David Cyrluk, one of the authors of PVS, and he confirmed
> that. People told me that Redhat 7 is ok with PVS, but we all
> use Redhat 9 in michigan.