diff options
| author | jschauma <jschauma@pkgsrc.org> | 2005-09-02 02:27:11 +0000 |
|---|---|---|
| committer | jschauma <jschauma@pkgsrc.org> | 2005-09-02 02:27:11 +0000 |
| commit | 9fff90f70719a0b8771041d58b38bbcb44f6a868 (patch) | |
| tree | e3f81e698a5f6f4d5c19b492fbe054c05a8d34bf /devel/pvs/files | |
| parent | b7ebc07ae6b7778b45b2c3874d5c58b358d10727 (diff) | |
| download | pkgsrc-9fff90f70719a0b8771041d58b38bbcb44f6a868.tar.gz | |
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 (limited to 'devel/pvs/files')
| -rw-r--r-- | devel/pvs/files/MESSAGE | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/devel/pvs/files/MESSAGE b/devel/pvs/files/MESSAGE index cbbf4e4a5eb..1c8ae05365f 100644 --- a/devel/pvs/files/MESSAGE +++ b/devel/pvs/files/MESSAGE @@ -1,7 +1,7 @@ -============================================================================== -$NetBSD: MESSAGE,v 1.1.1.1 2002/09/24 17:57:25 jschauma Exp $ +=========================================================================== +$NetBSD: MESSAGE,v 1.2 2005/09/02 02:27:11 jschauma Exp $ The PVS Specification and Verification System requires a kernel built with 'COMPAT_LINUX' and 'PROCFS' enabled. -============================================================================== +=========================================================================== |