pkgsrc-Changes-HG archive

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

[pkgsrc/trunk]: pkgsrc/devel/pvs Update pvs to 3.2:



details:   https://anonhg.NetBSD.org/pkgsrc/rev/6f5112222ad0
branches:  trunk
changeset: 498746:6f5112222ad0
user:      jschauma <jschauma%pkgsrc.org@localhost>
date:      Fri Sep 02 02:27:11 2005 +0000

description:
Update pvs to 3.2:
According to http://pvs.csl.sri.com/announcements/pvs3.2-release-notes.shtml
this contains a number of bug fixes as well as the following improvements
and added features:
-Startup Script Update
-Theory Interpretation Enhancements
-References to Mapped Entities
-Cleaning up Specifications
-Binary Files
-Generating HTML
-Default Strategies
-Better handling of TCCs in Proofs
-typepred! rule and all-typepreds strategy
-grind-with-ext and reduce-with-ext
-New forward chain commands
-TeX Substitutions
-add-declaration and IMPORTINGs
-Prelude additions

diffstat:

 devel/pvs/Makefile         |    6 +-
 devel/pvs/PLIST            |  274 ++++++++++++++------------------------------
 devel/pvs/distinfo         |   27 +--
 devel/pvs/files/MESSAGE    |    6 +-
 devel/pvs/patches/patch-aa |   25 +--
 devel/pvs/patches/patch-ab |   16 +-
 6 files changed, 122 insertions(+), 232 deletions(-)

diffs (truncated from 615 to 300 lines):

diff -r 31b0f9ab6054 -r 6f5112222ad0 devel/pvs/Makefile
--- a/devel/pvs/Makefile        Fri Sep 02 01:40:20 2005 +0000
+++ b/devel/pvs/Makefile        Fri Sep 02 02:27:11 2005 +0000
@@ -1,9 +1,8 @@
-# $NetBSD: Makefile,v 1.19 2005/08/28 04:25:29 uebayasi Exp $
+# $NetBSD: Makefile,v 1.20 2005/09/02 02:27:11 jschauma Exp $
 #
 
 DISTNAME=              pvs-${VERSION}
 PKGNAME=               ${EMACS_PKGNAME_PREFIX}${DISTNAME}
-PKGREVISION=           2
 CATEGORIES=            devel lang
 MASTER_SITES=          ftp://pvs.csl.sri.com/pub/pvs/pvs${VERSION}/ \
                        ftp://ftp.cs.york.ac.uk/pub/pvs/pvs${VERSION}/ \
@@ -11,7 +10,6 @@
 EXTRACT_SUFX=          .tgz
 DISTFILES=             ${DISTNAME}-${MAINFILEEXT}${EXTRACT_SUFX} \
                        pvs-${VERSION}-system${EXTRACT_SUFX} \
-                       pvs-${VERSION}-emacs19${EXTRACT_SUFX} \
                        pvs-${VERSION}-libraries${EXTRACT_SUFX}
 
 MAINTAINER=            jschauma%NetBSD.org@localhost
@@ -22,7 +20,7 @@
 DEPENDS+=              tk>=8.0:../../x11/tk
 
 WRKSRC=                        ${WRKDIR}
-VERSION=               3.1
+VERSION=               3.2
 NO_BUILD=              # defined
 CHECK_SHLIBS=          NO
 SHLIB_HANDLING=                NO
diff -r 31b0f9ab6054 -r 6f5112222ad0 devel/pvs/PLIST
--- a/devel/pvs/PLIST   Fri Sep 02 01:40:20 2005 +0000
+++ b/devel/pvs/PLIST   Fri Sep 02 02:27:11 2005 +0000
@@ -1,18 +1,8 @@
-@comment $NetBSD: PLIST,v 1.5 2004/02/16 16:55:43 seb Exp $
+@comment $NetBSD: PLIST,v 1.6 2005/09/02 02:27:11 jschauma Exp $
 bin/pvs
-pvs/Examples/README
-pvs/Examples/ackerman.pvs
-pvs/Examples/f91.pvs
-pvs/Examples/groups.pvs
-pvs/Examples/stack.pvs
-pvs/Examples/stacks.pvs
-pvs/Examples/sum.pvs
-pvs/Examples/sum2.pvs
-pvs/Examples/ustacks.pvs
 pvs/README
 pvs/bin/ix86-redhat5/runtime/file_utils.so
 pvs/bin/ix86-redhat5/runtime/files.bu
-pvs/bin/ix86-redhat5/runtime/ics_lisp.so
 pvs/bin/ix86-redhat5/runtime/libacl623.so
 pvs/bin/ix86-redhat5/runtime/mu.so
 pvs/bin/ix86-redhat5/runtime/pvs-allegro6.2
@@ -93,118 +83,6 @@
 pvs/emacs/emacs-src/pvs-view.el
 pvs/emacs/emacs-src/pvs.xpm
 pvs/emacs/emacs-src/tcl.el
-pvs/emacs/emacs19/Makefile
-pvs/emacs/emacs19/comint-ipc.el
-pvs/emacs/emacs19/comint-ipc.elc
-pvs/emacs/emacs19/completer.el
-pvs/emacs/emacs19/completer.elc
-pvs/emacs/emacs19/completer.new.el
-pvs/emacs/emacs19/completer.no-fun.el
-pvs/emacs/emacs19/ilcompat.el
-pvs/emacs/emacs19/ilfsf18.el
-pvs/emacs/emacs19/ilfsf19.el
-pvs/emacs/emacs19/ilfsf20.el
-pvs/emacs/emacs19/ilisp-acl.el
-pvs/emacs/emacs19/ilisp-acl.elc
-pvs/emacs/emacs19/ilisp-aut.el
-pvs/emacs/emacs19/ilisp-aut.elc
-pvs/emacs/emacs19/ilisp-bat.el
-pvs/emacs/emacs19/ilisp-chs.el
-pvs/emacs/emacs19/ilisp-cl.el
-pvs/emacs/emacs19/ilisp-cl.elc
-pvs/emacs/emacs19/ilisp-cmp.el
-pvs/emacs/emacs19/ilisp-cmp.elc
-pvs/emacs/emacs19/ilisp-cmt.el
-pvs/emacs/emacs19/ilisp-cmt.elc
-pvs/emacs/emacs19/ilisp-def.el
-pvs/emacs/emacs19/ilisp-def.elc
-pvs/emacs/emacs19/ilisp-dia.el
-pvs/emacs/emacs19/ilisp-dia.elc
-pvs/emacs/emacs19/ilisp-doc.el
-pvs/emacs/emacs19/ilisp-doc.elc
-pvs/emacs/emacs19/ilisp-el.el
-pvs/emacs/emacs19/ilisp-el.elc
-pvs/emacs/emacs19/ilisp-ext.el
-pvs/emacs/emacs19/ilisp-ext.elc
-pvs/emacs/emacs19/ilisp-hi.el
-pvs/emacs/emacs19/ilisp-hi.elc
-pvs/emacs/emacs19/ilisp-hnd.el
-pvs/emacs/emacs19/ilisp-hnd.elc
-pvs/emacs/emacs19/ilisp-ind.el
-pvs/emacs/emacs19/ilisp-ind.elc
-pvs/emacs/emacs19/ilisp-inp.el
-pvs/emacs/emacs19/ilisp-inp.elc
-pvs/emacs/emacs19/ilisp-key.el
-pvs/emacs/emacs19/ilisp-key.elc
-pvs/emacs/emacs19/ilisp-kil.el
-pvs/emacs/emacs19/ilisp-kil.elc
-pvs/emacs/emacs19/ilisp-low.el
-pvs/emacs/emacs19/ilisp-low.elc
-pvs/emacs/emacs19/ilisp-menu.el
-pvs/emacs/emacs19/ilisp-mnb.el
-pvs/emacs/emacs19/ilisp-mod.el
-pvs/emacs/emacs19/ilisp-mod.elc
-pvs/emacs/emacs19/ilisp-mov.el
-pvs/emacs/emacs19/ilisp-mov.elc
-pvs/emacs/emacs19/ilisp-out.el
-pvs/emacs/emacs19/ilisp-out.elc
-pvs/emacs/emacs19/ilisp-prc.el
-pvs/emacs/emacs19/ilisp-prc.elc
-pvs/emacs/emacs19/ilisp-prn.el
-pvs/emacs/emacs19/ilisp-prn.elc
-pvs/emacs/emacs19/ilisp-rng.el
-pvs/emacs/emacs19/ilisp-rng.elc
-pvs/emacs/emacs19/ilisp-snd.el
-pvs/emacs/emacs19/ilisp-snd.elc
-pvs/emacs/emacs19/ilisp-src.el
-pvs/emacs/emacs19/ilisp-sym.el
-pvs/emacs/emacs19/ilisp-sym.elc
-pvs/emacs/emacs19/ilisp-utl.el
-pvs/emacs/emacs19/ilisp-utl.elc
-pvs/emacs/emacs19/ilisp-val.el
-pvs/emacs/emacs19/ilisp-val.elc
-pvs/emacs/emacs19/ilisp-xfr.el
-pvs/emacs/emacs19/ilisp-xfr.elc
-pvs/emacs/emacs19/ilisp-xls.el
-pvs/emacs/emacs19/ilisp.el
-pvs/emacs/emacs19/illuc19.el
-pvs/emacs/emacs19/ilxemacs.el
-pvs/emacs/emacs19/pvs-abbreviations.el
-pvs/emacs/emacs19/pvs-abbreviations.elc
-pvs/emacs/emacs19/pvs-browser.el
-pvs/emacs/emacs19/pvs-browser.elc
-pvs/emacs/emacs19/pvs-byte-compile.el
-pvs/emacs/emacs19/pvs-cmds.el
-pvs/emacs/emacs19/pvs-cmds.elc
-pvs/emacs/emacs19/pvs-eval.el
-pvs/emacs/emacs19/pvs-eval.elc
-pvs/emacs/emacs19/pvs-file-list.el
-pvs/emacs/emacs19/pvs-file-list.elc
-pvs/emacs/emacs19/pvs-ilisp.el
-pvs/emacs/emacs19/pvs-load.el
-pvs/emacs/emacs19/pvs-load.elc
-pvs/emacs/emacs19/pvs-macros.el
-pvs/emacs/emacs19/pvs-macros.elc
-pvs/emacs/emacs19/pvs-menu.el
-pvs/emacs/emacs19/pvs-menu.elc
-pvs/emacs/emacs19/pvs-mode.el
-pvs/emacs/emacs19/pvs-mode.elc
-pvs/emacs/emacs19/pvs-prelude-files-and-regions.el
-pvs/emacs/emacs19/pvs-print.el
-pvs/emacs/emacs19/pvs-print.elc
-pvs/emacs/emacs19/pvs-prover-helps.el
-pvs/emacs/emacs19/pvs-prover-helps.elc
-pvs/emacs/emacs19/pvs-prover.el
-pvs/emacs/emacs19/pvs-prover.elc
-pvs/emacs/emacs19/pvs-set-prelude-info.el
-pvs/emacs/emacs19/pvs-tcl.el
-pvs/emacs/emacs19/pvs-tcl.elc
-pvs/emacs/emacs19/pvs-utils.el
-pvs/emacs/emacs19/pvs-utils.elc
-pvs/emacs/emacs19/pvs-view.el
-pvs/emacs/emacs19/pvs-view.elc
-pvs/emacs/emacs19/tcl.el
-pvs/emacs/emacs19/tcl.elc
 pvs/emacs/emacs20/comint-ipc.el
 pvs/emacs/emacs20/comint-ipc.elc
 pvs/emacs/emacs20/completer.el
@@ -292,6 +170,7 @@
 pvs/emacs/emacs20/pvs-file-list.el
 pvs/emacs/emacs20/pvs-file-list.elc
 pvs/emacs/emacs20/pvs-ilisp.el
+pvs/emacs/emacs20/pvs-ilisp.elc
 pvs/emacs/emacs20/pvs-load.el
 pvs/emacs/emacs20/pvs-load.elc
 pvs/emacs/emacs20/pvs-macros.el
@@ -404,6 +283,7 @@
 pvs/emacs/xemacs21/pvs-file-list.el
 pvs/emacs/xemacs21/pvs-file-list.elc
 pvs/emacs/xemacs21/pvs-ilisp.el
+pvs/emacs/xemacs21/pvs-ilisp.elc
 pvs/emacs/xemacs21/pvs-load.el
 pvs/emacs/xemacs21/pvs-load.elc
 pvs/emacs/xemacs21/pvs-macros.el
@@ -428,203 +308,219 @@
 pvs/emacs/xemacs21/pvs-view.elc
 pvs/emacs/xemacs21/tcl.el
 pvs/emacs/xemacs21/tcl.elc
+pvs/lib/bitvectors/.cvsignore
 pvs/lib/bitvectors/.pvscontext
-pvs/lib/bitvectors/BitvectorMultiplication.bin
 pvs/lib/bitvectors/BitvectorMultiplication.prf
 pvs/lib/bitvectors/BitvectorMultiplication.pvs
-pvs/lib/bitvectors/BitvectorMultiplicationWidenNarrow.bin
 pvs/lib/bitvectors/BitvectorMultiplicationWidenNarrow.prf
 pvs/lib/bitvectors/BitvectorMultiplicationWidenNarrow.pvs
-pvs/lib/bitvectors/BitvectorOneComplementDivision.bin
 pvs/lib/bitvectors/BitvectorOneComplementDivision.prf
 pvs/lib/bitvectors/BitvectorOneComplementDivision.pvs
-pvs/lib/bitvectors/BitvectorTwoComplementDivision.bin
 pvs/lib/bitvectors/BitvectorTwoComplementDivision.prf
 pvs/lib/bitvectors/BitvectorTwoComplementDivision.pvs
-pvs/lib/bitvectors/BitvectorTwoComplementDivisionWidenNarrow.bin
 pvs/lib/bitvectors/BitvectorTwoComplementDivisionWidenNarrow.prf
+pvs/lib/bitvectors/BitvectorTwoComplementDivisionWidenNarrow.prf.bak
 pvs/lib/bitvectors/BitvectorTwoComplementDivisionWidenNarrow.pvs
-pvs/lib/bitvectors/BitvectorUtil.bin
 pvs/lib/bitvectors/BitvectorUtil.prf
+pvs/lib/bitvectors/BitvectorUtil.prf.bak
 pvs/lib/bitvectors/BitvectorUtil.pvs
-pvs/lib/bitvectors/DivisionUtil.bin
+pvs/lib/bitvectors/BitvectorUtil.pvs.bak
 pvs/lib/bitvectors/DivisionUtil.prf
 pvs/lib/bitvectors/DivisionUtil.pvs
-pvs/lib/bitvectors/bv_adder.bin
 pvs/lib/bitvectors/bv_adder.prf
 pvs/lib/bitvectors/bv_adder.pvs
-pvs/lib/bitvectors/bv_arith_caret.bin
 pvs/lib/bitvectors/bv_arith_caret.prf
 pvs/lib/bitvectors/bv_arith_caret.pvs
-pvs/lib/bitvectors/bv_arith_caret_concat_rules.bin
 pvs/lib/bitvectors/bv_arith_caret_concat_rules.prf
 pvs/lib/bitvectors/bv_arith_caret_concat_rules.pvs
-pvs/lib/bitvectors/bv_arith_caret_rules.bin
 pvs/lib/bitvectors/bv_arith_caret_rules.prf
 pvs/lib/bitvectors/bv_arith_caret_rules.pvs
-pvs/lib/bitvectors/bv_arith_concat.bin
 pvs/lib/bitvectors/bv_arith_concat.prf
 pvs/lib/bitvectors/bv_arith_concat.pvs
-pvs/lib/bitvectors/bv_arith_extend.bin
 pvs/lib/bitvectors/bv_arith_extend.prf
 pvs/lib/bitvectors/bv_arith_extend.pvs
-pvs/lib/bitvectors/bv_arith_int_caret.bin
 pvs/lib/bitvectors/bv_arith_int_caret.prf
 pvs/lib/bitvectors/bv_arith_int_caret.pvs
-pvs/lib/bitvectors/bv_arith_int_concat.bin
 pvs/lib/bitvectors/bv_arith_int_concat.prf
 pvs/lib/bitvectors/bv_arith_int_concat.pvs
-pvs/lib/bitvectors/bv_arith_int_rules.bin
 pvs/lib/bitvectors/bv_arith_int_rules.prf
 pvs/lib/bitvectors/bv_arith_int_rules.pvs
-pvs/lib/bitvectors/bv_arith_minus_rules.bin
 pvs/lib/bitvectors/bv_arith_minus_rules.prf
 pvs/lib/bitvectors/bv_arith_minus_rules.pvs
-pvs/lib/bitvectors/bv_arith_nat.bin
 pvs/lib/bitvectors/bv_arith_nat.prf
 pvs/lib/bitvectors/bv_arith_nat.pvs
-pvs/lib/bitvectors/bv_arith_nat_caret_rules.bin
 pvs/lib/bitvectors/bv_arith_nat_caret_rules.prf
 pvs/lib/bitvectors/bv_arith_nat_caret_rules.pvs
-pvs/lib/bitvectors/bv_arith_nat_rules.bin
 pvs/lib/bitvectors/bv_arith_nat_rules.prf
 pvs/lib/bitvectors/bv_arith_nat_rules.pvs
-pvs/lib/bitvectors/bv_arith_rules.bin
 pvs/lib/bitvectors/bv_arith_rules.prf
 pvs/lib/bitvectors/bv_arith_rules.pvs
-pvs/lib/bitvectors/bv_arithmetic.bin
 pvs/lib/bitvectors/bv_arithmetic.prf
 pvs/lib/bitvectors/bv_arithmetic.pvs
-pvs/lib/bitvectors/bv_bitwise_rules.bin
 pvs/lib/bitvectors/bv_bitwise_rules.prf
 pvs/lib/bitvectors/bv_bitwise_rules.pvs
-pvs/lib/bitvectors/bv_caret_bitwise.bin
 pvs/lib/bitvectors/bv_caret_bitwise.prf
 pvs/lib/bitvectors/bv_caret_bitwise.pvs
-pvs/lib/bitvectors/bv_caret_bitwise_rules.bin
 pvs/lib/bitvectors/bv_caret_bitwise_rules.prf
 pvs/lib/bitvectors/bv_caret_bitwise_rules.pvs
-pvs/lib/bitvectors/bv_caret_concat.bin
 pvs/lib/bitvectors/bv_caret_concat.prf
 pvs/lib/bitvectors/bv_caret_concat.pvs
-pvs/lib/bitvectors/bv_caret_concat_rules.bin
 pvs/lib/bitvectors/bv_caret_concat_rules.prf
 pvs/lib/bitvectors/bv_caret_concat_rules.pvs
-pvs/lib/bitvectors/bv_caret_rules.bin
 pvs/lib/bitvectors/bv_caret_rules.prf
 pvs/lib/bitvectors/bv_caret_rules.pvs
-pvs/lib/bitvectors/bv_concat.bin
 pvs/lib/bitvectors/bv_concat.prf
 pvs/lib/bitvectors/bv_concat.pvs
-pvs/lib/bitvectors/bv_concat_rules.bin
 pvs/lib/bitvectors/bv_concat_rules.prf
 pvs/lib/bitvectors/bv_concat_rules.pvs
-pvs/lib/bitvectors/bv_constants.bin
 pvs/lib/bitvectors/bv_constants.prf
 pvs/lib/bitvectors/bv_constants.pvs
-pvs/lib/bitvectors/bv_core.bin
 pvs/lib/bitvectors/bv_core.pvs
-pvs/lib/bitvectors/bv_extend.bin
 pvs/lib/bitvectors/bv_extend.prf
 pvs/lib/bitvectors/bv_extend.pvs
-pvs/lib/bitvectors/bv_fract.bin
 pvs/lib/bitvectors/bv_fract.prf
 pvs/lib/bitvectors/bv_fract.pvs
-pvs/lib/bitvectors/bv_int.bin



Home | Main Index | Thread Index | Old Index