Custom Query (6 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: accepted (1 match)

Ticket Summary Owner Type Priority Component Resolution
#43 Fix thread_local mornfall defect major VM

Status: closed (1 match)

Ticket Summary Owner Type Priority Component Resolution
#83 Divince check: false negative when using NULL as the first argument of the pthread_create() mornfall defect major other fixed

Status: new (4 matches)

Ticket Summary Owner Type Priority Component Resolution
#119 libc: make return value of isatty(3) user configurable feature major DiOS
#118 libc: isatty(3) is POSIX-nonconformant defect major DiOS
#117 Possibility of symbolic argc + argv mornfall feature major other
#116 Divine fails to build on distributions with recent glibc and GNU toolchain mornfall defect major other
Note: See TracQuery for help on using queries.