Custom Query (6 matches)
Status: accepted (1 match)
Ticket | Summary | Owner | Type | Priority | Component | Resolution |
---|---|---|---|---|---|---|
#43 | Fix thread_local | 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() | 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 | feature | major | other | ||
#116 | Divine fails to build on distributions with recent glibc and GNU toolchain | defect | major | other |
Note: See TracQuery
for help on using queries.