bugPoussin proof assistant - Bugs: Browse Items

 
 
Browse with the query form and selection.
Open/Closed:  Status:  Assigned to:  Category:  Item Group: 

Additional constraint :
    since

 

Column heading links sort results (up or down), you can also sort by priority or reset sort. You can also activate multicolumn sort. Currently, results are sorted by Item IDup.

2 matching items

Item ID up Summary Status Assigned to Submitted
#23787 wrong detection of termination 2008-07-07
#23764 wrong detection of non-termination Fixed 2008-07-04

2 matching items

Open Items Priority Colors:
     1   2   3   4   5   6   7   8   9 
Closed Items Priority Colors:
     1   2   3   4   5   6   7   8   9 

Back to the top

Powered by Savane 3.14-8aba.
Corresponding source code