Custom Query (11 matches)
Ticket | Summary | Status | Owner | Type | Priority | Milestone |
---|---|---|---|---|---|---|
#92 | divine info is outdated | accepted | defect | minor | 4.3 | |
#87 | Struct self-assignment results in assertion failure in memcpy | accepted | defect | major | 4.3 | |
#90 | VFS: Divine segfaults while loading when capturing a diffutils directory | new | defect | major | 4.3 | |
#94 | sim: Signed integer value is shown as unsigned. | accepted | defect | major | 4.4 | |
#95 | sim: Integers < -5 appearing in dbg.value are discarded. | accepted | defect | major | 4.4 | |
#105 | make: Move any compilation out of make install | accepted | feature | major | 4.4 | |
#106 | make: CMake does not set PYTHON_INTERP during libcxx configuration | accepted | defect | major | 4.4 | |
#116 | Divine fails to build on distributions with recent glibc and GNU toolchain | new | defect | major | 4.5 | |
#117 | Possibility of symbolic argc + argv | new | feature | major | 4.5 | |
#118 | libc: isatty(3) is POSIX-nonconformant | new | defect | major | 4.5 | |
#119 | libc: make return value of isatty(3) user configurable | new | feature | major | 4.5 |
Note: See TracQuery
for help on using queries.