Custom Query (7 matches)
Resolution: fixed (4 matches)
| Ticket | Summary | Owner | Type | Priority | Created | Modified |
|---|---|---|---|---|---|---|
| #71 | Divine 4.3.2 Build failures | defect | major | 6 years ago | 6 years ago | |
| #73 | make install failure - Divine 4.3.2 | defect | major | 6 years ago | 5 years ago | |
| #84 | FindZ3.cmake fails on Fedora | defect | major | 6 years ago | 6 years ago | |
| #91 | Make (install) enhancements | feature | minor | 6 years ago | 5 years ago | |
Resolution: invalid (2 matches) |
||||||
| Ticket | Summary | Owner | Type | Priority | Created | Modified |
| #61 | Problems in SV-COMP | defect | major | 6 years ago | 6 years ago | |
| #65 | Error message in symbolic mode | defect | major | 6 years ago | 6 years ago | |
Resolution: wontfix (1 match) |
||||||
| Ticket | Summary | Owner | Type | Priority | Created | Modified |
| #74 | make static failures - Divine 4.3.2 | defect | major | 6 years ago | 6 years ago | |
Note: See TracQuery
for help on using queries.