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 17 months ago

Status: assigned (1 match)

Ticket Summary Owner Type Priority Resolution Created
#72 Termination testing our data structures xstill defect major 11 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 18 months ago
#38 Report attempts to use symbolic data if symbolic is disable mornfall defect major fixed 17 months ago
#57 Build error in divine-smt mornfall defect major duplicate 14 months ago
#67 DiOS: VFS Capture does not work mornfall defect major duplicate 12 months ago
#101 Divine produces unusable memory leak reports mornfall defect major invalid 6 months ago
#58 Build fails: Directory nonexistent mornfall defect minor fixed 14 months ago

Status: new (2 matches)

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