Custom Query (5 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Ticket Summary Status Owner Type Milestone Priority
#88 compile set of CVC3 problems we want solved new task minor
#154 create package-level javadocs accepted Stephen Siegel task minor
#232 checkSat new enhancement Release 1.0 minor
#269 move newCollectiveAssertion to ModelFactory new enhancement 1.1 minor
#332 VariableReferenceNode names aren't getting set new stachnik defect minor
Batch Modify
Note: See TracBatchModify for help on using batch modify.
Note: See TracQuery for help on using queries.