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 5 years ago 4 years ago
#84 FindZ3.cmake fails on Fedora mornfall defect major 5 years ago 4 years ago
#91 Make (install) enhancements Vladimír Štill feature minor 4 years ago 4 years ago
#73 make install failure - Divine 4.3.2 mornfall defect major 5 years ago 4 years ago

Resolution: invalid (2 matches)

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

Resolution: wontfix (1 match)

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