Custom Query (10 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: accepted (1 match)

Ticket Summary Owner Type Priority Resolution Created
#44 Multi-Threaded Performance Doesn't Scale mornfall defect minor 13 months ago

Status: assigned (1 match)

Ticket Summary Owner Type Priority Resolution Created
#72 Termination testing our data structures xstill defect major 8 months ago

Status: closed (6 matches)

Ticket Summary Owner Type Priority Resolution Created
#27 build filaure (fatal error: dios.h: No such file or directory) mornfall defect major fixed 14 months ago
#38 Report attempts to use symbolic data if symbolic is disable mornfall defect major fixed 13 months ago
#57 Build error in divine-smt mornfall defect major duplicate 11 months ago
#67 DiOS: VFS Capture does not work mornfall defect major duplicate 8 months ago
#101 Divine produces unusable memory leak reports mornfall defect major invalid 3 months ago
#58 Build fails: Directory nonexistent mornfall defect minor fixed 11 months ago

Status: new (2 matches)

Ticket Summary Owner Type Priority Resolution Created
#51 Write a style guide. mornfall task major 13 months ago
#104 build Divine against system LLVM 9.x mornfall feature minor 5 weeks ago
Note: See TracQuery for help on using queries.