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 5 years ago

Status: assigned (1 match)

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

Status: closed (6 matches)

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

Status: new (2 matches)

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