Custom Query (11 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Owner Type Priority Milestone
#87 Struct self-assignment results in assertion failure in memcpy accepted mornfall defect major 4.3
#95 sim: Integers < -5 appearing in dbg.value are discarded. accepted mornfall defect major 4.4
#105 make: Move any compilation out of make install accepted mornfall feature major 4.4
#116 Divine fails to build on distributions with recent glibc and GNU toolchain new mornfall defect major 4.5
#117 Possibility of symbolic argc + argv new mornfall feature major 4.5
#92 divine info is outdated accepted Vladimír Štill defect minor 4.3
#94 sim: Signed integer value is shown as unsigned. accepted Vladimír Štill defect major 4.4
#106 make: CMake does not set PYTHON_INTERP during libcxx configuration accepted Vladimír Štill defect major 4.4
#90 VFS: Divine segfaults while loading when capturing a diffutils directory new defect major 4.3
#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.