Custom Query (7 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Resolution: fixed (6 matches)

Ticket Summary Owner Type Priority Component Created
#24 divcc needs native libc++ and libc++abi to build C++ programs defect major DiOS 8 months ago
#36 Assign 'types' (weak, marked) to objects, not to pointers. mornfall task major VM 7 months ago
#37 Update libc++ and libc++abi. task major DiOS 7 months ago
#52 unable to reproduce divcc/gzip hello world with divine-4.2.1+2019.02.06 mornfall defect major VM 6 months ago
#56 Showing globals does not work mornfall defect major sim 5 months ago
#41 Faults that are suppressed should not appear in the trace defect minor DiOS 7 months ago

Resolution: invalid (1 match)

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