Custom Query (12 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: accepted (2 matches)

Ticket Summary Owner Type Priority Resolution Created
#87 Struct self-assignment results in assertion failure in memcpy mornfall defect major 4 months ago
#92 divine info is outdated Vladimír Štill defect minor 4 months ago

Status: assigned (1 match)

Ticket Summary Owner Type Priority Resolution Created
#48 Destroy symbolic formula directly when 0 reference count is reached Henrich Lauko feature major 13 months ago

Status: closed (8 matches)

Ticket Summary Owner Type Priority Resolution Created
#24 divcc needs native libc++ and libc++abi to build C++ programs defect major fixed 14 months ago
#37 Update libc++ and libc++abi. task major fixed 13 months ago
#46 Simplify stashing mechanism Henrich Lauko feature major fixed 13 months ago
#78 Sigaction in enquiry mode causes unexpected error while checking defect major fixed 6 months ago
#88 VFS: Divine crashes while capturing current directory defect major fixed 4 months ago
#89 VFS: Divine crashes while capturing files created by truncate defect major fixed 4 months ago
#93 Memory leak in stdio tracing code. mornfall defect major fixed 4 months ago
#41 Faults that are suppressed should not appear in the trace defect minor fixed 13 months ago

Status: new (1 match)

Ticket Summary Owner Type Priority Resolution Created
#90 VFS: Divine segfaults while loading when capturing a diffutils directory defect major 4 months ago
Note: See TracQuery for help on using queries.