Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools

PVS Bug 943


Synopsis:        suggestion list
Severity:        serious
Priority:        medium
Responsible:     owre (Sam Owre)
State:           open
Class:           sw-bug
Arrival-Date:    Tue Jan 24 12:20:00 2006
Originator:      Hendrik Tews
Organization:    tcs.inf.tu-dresden.de
Release:         PVS 3.2
Environment: 
 System:          
 Architecture: 

Description: 
  Hi Sam,
  
  the suggestion list at
  http://pvs.csl.sri.com/cgi-bin/pvs-suggest-list/?status=open&status=analyzed
  is in a bad state: One cannot lookup the items.
  
  Bye,
  
  Hendrik

How-To-Repeat: 

Fix: 
Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools