Custom Query (3 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: assigned (2 matches)

Ticket Summary Owner Type Priority Created Modified
#60 missing __sym_sitofp Henrich Lauko defect major 6 weeks ago 5 weeks ago
#49 Build system should check for minimal version of Z3 Henrich Lauko defect minor 5 months ago 5 months ago

Status: reopened (1 match)

Ticket Summary Owner Type Priority Created Modified
#65 Error message in symbolic mode mornfall defect major 2 weeks ago 2 weeks ago
Note: See TracQuery for help on using queries.