pkgsrc/devel/pvs
jschauma 5add9c1ebf 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
2005-09-02 02:27:11 +00:00
..
files Update pvs to 3.2: 2005-09-02 02:27:11 +00:00
patches Update pvs to 3.2: 2005-09-02 02:27:11 +00:00
DESCR
distinfo Update pvs to 3.2: 2005-09-02 02:27:11 +00:00
Makefile Update pvs to 3.2: 2005-09-02 02:27:11 +00:00
PLIST Update pvs to 3.2: 2005-09-02 02:27:11 +00:00