Custom Query (9 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: assigned (2 matches)

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

Status: closed (7 matches)

Ticket Summary Owner Type Priority Resolution Created
#61 Problems in SV-COMP mornfall defect major invalid 9 months ago
#65 Error message in symbolic mode mornfall defect major invalid 8 months ago
#71 Divine 4.3.2 Build failures mornfall defect major fixed 8 months ago
#73 make install failure - Divine 4.3.2 mornfall defect major fixed 7 months ago
#74 make static failures - Divine 4.3.2 mornfall defect major wontfix 7 months ago
#84 FindZ3.cmake fails on Fedora mornfall defect major fixed 5 months ago
#91 Make (install) enhancements Vladimír Štill feature minor fixed 4 months ago
Note: See TracQuery for help on using queries.