Custom Query (6 matches)
Resolution: fixed (3 matches)
Ticket | Summary | Owner | Type | Priority | Created | Modified |
---|---|---|---|---|---|---|
#38 | Report attempts to use symbolic data if symbolic is disable | defect | major | 5 years ago | 4 years ago | |
#27 | build filaure (fatal error: dios.h: No such file or directory) | defect | major | 5 years ago | 5 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 |
#67 | DiOS: VFS Capture does not work | defect | major | 5 years ago | 5 years ago | |
#57 | Build error in divine-smt | defect | major | 5 years ago | 5 years ago |
Note: See TracQuery
for help on using queries.