pkgsrc-Users archive

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

Re: PVS theorem prover -- update request



At Thu, 26 Nov 2009 03:31:39 +0100,
t_ziel wrote:
> 
> Hello
> 
> It would be great to update PVS theorem prover. Also it would be great 
> to add
> some other tools for formal methods support (especially Spark: 
> libre.adacore.com):
> 
> http://www.dwheeler.com/essays/high-assurance-floss.html
> http://www.openproofs.org/wiki/Packaging_status

there is a patch for PVS 4.2 to compile with SBCL

http://jjames.fedorapeople.org/pvs/

which might be useful to get a native PVS 4.2 for NetBSD.

Last time I had checked there were problems with SBCL.
http://mail-index.netbsd.org/pkgsrc-users/2009/09/17/msg010757.html

Checking just now, I see that SBCL builds again...

Best regards,

Marko

> --
> regards
> Tomasz Zieliński
> 
> ----------------------------------------------------
> I love you "2012"
> Kocham takie filmy:)
> http://klik.wp.pl/?adr=http%3A%2F%2Fcorto.www.wp.pl%2Fas%2F2012zwiastun.html&sid=918
> 
> 

Attachment: pgp5loeA1jaft.pgp
Description: PGP signature



Home | Main Index | Thread Index | Old Index