Custom Query (13 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Resolution: fixed (12 matches)

Ticket Summary Owner Type Priority Component Created
#24 divcc needs native libc++ and libc++abi to build C++ programs defect major DiOS 9 months ago
#36 Assign 'types' (weak, marked) to objects, not to pointers. mornfall task major VM 8 months ago
#37 Update libc++ and libc++abi. task major DiOS 8 months ago
#50 Comparison of pointers in usermeta is incorrect. mornfall defect major VM 8 months ago
#52 unable to reproduce divcc/gzip hello world with divine-4.2.1+2019.02.06 mornfall defect major VM 8 months ago
#56 Showing globals does not work mornfall defect major sim 7 months ago
#76 Divcc produces a broken gzip blurrymoi defect major divcc 6 weeks ago
#77 divcc -v segfault blurrymoi defect major divcc 6 weeks ago
#78 Sigaction in enquiry mode causes unexpected error while checking defect major DiOS 5 weeks ago
#79 Divine help commands crash mornfall defect major UI 4 weeks ago
#80 dioscc without any arguments fails with ld error blurrymoi defect major divcc 4 weeks ago
#41 Faults that are suppressed should not appear in the trace defect minor DiOS 8 months ago

Resolution: invalid (1 match)

Ticket Summary Owner Type Priority Component Created
#61 Problems in SV-COMP mornfall defect major other 4 months ago
Note: See TracQuery for help on using queries.