CVS log for pkgsrc/devel/pvs/Makefile

Up to [cvs.NetBSD.org] / pkgsrc / devel / pvs

Request diff between arbitrary revisions

Default branch: MAIN
Current tag: TNF

Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Tue Sep 24 17:57:24 2002 UTC (21 years, 6 months ago) by jschauma
Branch: TNF
CVS Tags: pkgsrc
Changes since 1.1: +0 -0 lines
Diff to previous 1.1 (colored)

Initial import of devel/pvs into pkgsrc:

PVS is a verification system: that is, a specification language integrated
with support tools and a theorem prover. It is intended to capture the
state-of-the-art in mechanized formal methods and to be sufficiently rugged
that it can be used for significant applications.
For more details, please see http://pvs.csl.sri.com/ and
http://pvs.csl.sri.com/overview.html

This package was tested on NetBSD-1.6-i386 and Linux-i386, it might work
(but might need some modification) on NetBSD-1.6-sparc and SunOS as well.

For i386, NetBSD 1.6 is required -- on 1.5.x versions, it will (seemingly)
install fine but not work correctly in various instances.

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.