Custom Query (19 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Resolution: fixed (13 matches)

Ticket Summary Owner Type Priority Component Created
#3 Aggregate and garbage-collect *_log tables. mornfall feature major bench 6 years ago
#5 Invalid YAML report for programs with options or stdin mornfall defect major UI 6 years ago
#13 pass CMake pthreads check blurrymoi defect major divcc 6 years ago
#14 Allow programs to override libc symbols mornfall defect major DiOS 6 years ago
#16 Undetected double free Henrich Lauko feature major LART 6 years ago
#17 Generalize smt builder interface to be usable with different back-ends. Henrich Lauko feature major MC 5 years ago
#18 Implement string modification abstraction. Henrich Lauko task major LART 5 years ago
#23 divine cc -c -Ipath does not work blurrymoi defect major divcc 5 years ago
#27 build filaure (fatal error: dios.h: No such file or directory) mornfall defect major other 5 years ago
#29 Add/fix divcc --version and --help blurry defect major divcc 5 years ago
#38 Report attempts to use symbolic data if symbolic is disable mornfall defect major other 5 years ago
#28 Capturing symbolically linked files seem to crash DiOS mornfall defect minor DiOS 5 years ago
#58 Build fails: Directory nonexistent mornfall defect minor other 5 years ago

Resolution: invalid (3 matches)

Ticket Summary Owner Type Priority Component Created
#42 DIVINE sim crashes after only six states mornfall defect major sim 5 years ago
#101 Divine produces unusable memory leak reports mornfall defect major other 5 years ago
#20 Use error output for actual errors only mornfall defect minor UI 5 years ago

Resolution: duplicate (2 matches)

Ticket Summary Owner Type Priority Component Created
#57 Build error in divine-smt mornfall defect major other 5 years ago
#67 DiOS: VFS Capture does not work mornfall defect major other 5 years ago

Resolution: worksforme (1 match)

Ticket Summary Owner Type Priority Component Created
#8 Missing or spurious ODBC dependency mornfall defect major bench 6 years ago
Note: See TracQuery for help on using queries.