Custom Query (6 matches)
Resolution: fixed (3 matches)
| Ticket | Summary | Owner | Type | Priority | Created | Modified |
|---|---|---|---|---|---|---|
| #27 | build filaure (fatal error: dios.h: No such file or directory) | defect | major | 5 years ago | 5 years ago | |
| #38 | Report attempts to use symbolic data if symbolic is disable | defect | major | 5 years ago | 4 years ago | |
| #58 | Build fails: Directory nonexistent | defect | minor | 5 years ago | 5 years ago | |
Resolution: invalid (1 match) |
||||||
| Ticket | Summary | Owner | Type | Priority | Created | Modified |
| #101 | Divine produces unusable memory leak reports | defect | major | 4 years ago | 4 years ago | |
Resolution: duplicate (2 matches) |
||||||
| Ticket | Summary | Owner | Type | Priority | Created | Modified |
| #57 | Build error in divine-smt | defect | major | 5 years ago | 5 years ago | |
| #67 | DiOS: VFS Capture does not work | defect | major | 5 years ago | 5 years ago | |
Note: See TracQuery
for help on using queries.