Custom Query (9 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: accepted (1 match)

Ticket Summary Owner Type Priority Resolution Created
#73 make install failure - Divine 4.3.2 mornfall defect major 2 months ago

Status: assigned (2 matches)

Ticket Summary Owner Type Priority Resolution Created
#60 missing __sym_sitofp Henrich Lauko defect major 4 months ago
#49 Build system should check for minimal version of Z3 Henrich Lauko defect minor 8 months ago

Status: closed (1 match)

Ticket Summary Owner Type Priority Resolution Created
#61 Problems in SV-COMP mornfall defect major invalid 4 months ago

Status: new (4 matches)

Ticket Summary Owner Type Priority Resolution Created
#71 Divine 4.3.2 Build failures mornfall defect major 3 months ago
#74 make static failures - Divine 4.3.2 mornfall defect major 2 months ago
#84 FindZ3.cmake fails on Fedora mornfall defect major 21 hours ago
#75 Make failure without ninja - Divine 4.3.4 mornfall defect minor 6 weeks ago

Status: reopened (1 match)

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