[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:
  http://pvs.csl.sri.com/cgi-bin/pvs/pvs-bug?id=765

Regards,  
Sam

> 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.