Custom Query (7 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Resolution: fixed (4 matches)

Ticket Summary Owner Type Priority Created Modified
#71 Divine 4.3.2 Build failures mornfall defect major 8 months ago 4 months ago
#73 make install failure - Divine 4.3.2 mornfall defect major 7 months ago 4 weeks ago
#84 FindZ3.cmake fails on Fedora mornfall defect major 5 months ago 4 months ago
#91 Make (install) enhancements Vladimír Štill feature minor 4 months ago 5 weeks ago

Resolution: invalid (2 matches)

Ticket Summary Owner Type Priority Created Modified
#61 Problems in SV-COMP mornfall defect major 9 months ago 9 months ago
#65 Error message in symbolic mode mornfall defect major 8 months ago 4 months ago

Resolution: wontfix (1 match)

Ticket Summary Owner Type Priority Created Modified
#74 make static failures - Divine 4.3.2 mornfall defect major 7 months ago 4 months ago
Note: See TracQuery for help on using queries.