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 10 months ago
#92 divine info is outdated Vladimír Štill defect minor 10 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 18 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 20 months ago
#37 Update libc++ and libc++abi. task major fixed 19 months ago
#46 Simplify stashing mechanism Henrich Lauko feature major fixed 18 months ago
#78 Sigaction in enquiry mode causes unexpected error while checking defect major fixed 12 months ago
#88 VFS: Divine crashes while capturing current directory defect major fixed 10 months ago
#89 VFS: Divine crashes while capturing files created by truncate defect major fixed 10 months ago
#93 Memory leak in stdio tracing code. mornfall defect major fixed 10 months ago
#41 Faults that are suppressed should not appear in the trace defect minor fixed 19 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 10 months ago
Note: See TracQuery for help on using queries.