|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 email@example.com.
Click here for the complete list of 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 firstname.lastname@example.org. 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