Custom Query (27 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Resolution: fixed (22 matches)

Ticket Summary Owner Type Priority Component Created
#24 divcc needs native libc++ and libc++abi to build C++ programs defect major DiOS 18 months ago
#36 Assign 'types' (weak, marked) to objects, not to pointers. mornfall task major VM 17 months ago
#37 Update libc++ and libc++abi. task major DiOS 17 months ago
#46 Simplify stashing mechanism Henrich Lauko feature major DiOS 16 months ago
#50 Comparison of pointers in usermeta is incorrect. mornfall defect major VM 16 months ago
#52 unable to reproduce divcc/gzip hello world with divine-4.2.1+2019.02.06 mornfall defect major VM 16 months ago
#56 Showing globals does not work mornfall defect major sim 15 months ago
#71 Divine 4.3.2 Build failures mornfall defect major other 11 months ago
#73 make install failure - Divine 4.3.2 mornfall defect major other 11 months ago
#76 Divcc produces a broken gzip blurrymoi defect major divcc 10 months ago
#77 divcc -v segfault blurrymoi defect major divcc 10 months ago
#78 Sigaction in enquiry mode causes unexpected error while checking defect major DiOS 10 months ago
#79 Divine help commands crash mornfall defect major UI 10 months ago
#80 dioscc without any arguments fails with ld error blurrymoi defect major divcc 10 months ago
#82 Help commands segmentation faults mornfall defect major UI 9 months ago
#84 FindZ3.cmake fails on Fedora mornfall defect major other 9 months ago
#86 Dioscc produces a broken gzip binary mornfall defect major divcc 8 months ago
#88 VFS: Divine crashes while capturing current directory defect major DiOS 8 months ago
#89 VFS: Divine crashes while capturing files created by truncate defect major DiOS 8 months ago
#93 Memory leak in stdio tracing code. mornfall defect major DiOS 8 months ago
#41 Faults that are suppressed should not appear in the trace defect minor DiOS 17 months ago
#91 Make (install) enhancements Vladimír Štill feature minor other 8 months ago

Resolution: invalid (3 matches)

Ticket Summary Owner Type Priority Component Created
#61 Problems in SV-COMP mornfall defect major other 13 months ago
#65 Error message in symbolic mode mornfall defect major other 12 months ago
#81 dioscc and divine cc explicitly undefine the __x86_64__ macro blurrymoi defect major divcc 9 months ago

Resolution: wontfix (2 matches)

Ticket Summary Owner Type Priority Component Created
#54 Split global variables by compilation unit. mornfall task major VM 16 months ago
#74 make static failures - Divine 4.3.2 mornfall defect major other 11 months ago
Note: See TracQuery for help on using queries.