|The PVS Specification and Verification System|
If you have suggestions on how we can improve PVS, we would like to hear from you. Please send suggestions to firstname.lastname@example.org.
Click here for the list of open suggestions
This list summarizes the suggestions for enhancements that have been received since PVS version 2.2 was announced in September 1998. Most of these were originally sent to email@example.com. Click on the suggestion number for details. The state is one of:
open: The suggestion has been filed
analyzed: We have analyzed the implications of the suggestion, and have made comments
feedback: The suggestion has been implemented, and is being tested
closed: The changes have been integrated in the latest release
suspended: Implementation of the suggestion has been suspended
Note: this makes use of the GNATS bug tracking system available at ftp://prep.ai.mit.edu/pub/gnu/.
Can't open database directory /csl/mail/gnats/pvs-suggest