Custom Query (29 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Resolution: fixed (24 matches)

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

Resolution: invalid (3 matches)

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

Resolution: wontfix (2 matches)

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