Custom Query (12 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Cc Owner Type Priority
#10 Memory leak from symbolic values. new Lukáš Zaoral defect major
#31 Capture 'mount points' are confusing. new Kamil Dudka, Lukáš Zaoral mornfall task major
#87 Struct self-assignment results in assertion failure in memcpy accepted kdudka@…, jamartis@…, lzaoral@…, Dávid Bolvanský mornfall defect major
#90 VFS: Divine segfaults while loading when capturing a diffutils directory new kdudka@…, jamartis@…, lzaoral@… defect major
#94 sim: Signed integer value is shown as unsigned. accepted kdudka@…, jamartis@…, lzaoral@… Vladimír Štill defect major
#95 sim: Integers < -5 appearing in dbg.value are discarded. accepted kdudka@…, jamartis@…, lzaoral@… mornfall defect major
#106 make: CMake does not set PYTHON_INTERP during libcxx configuration accepted kdudka@…, lzaoral@… Vladimír Štill defect major
#117 Possibility of symbolic argc + argv new kdudka@…, lzaoral@… mornfall feature major
#118 libc: isatty(3) is POSIX-nonconformant new kdudka@…, lzaoral@… defect major
#119 libc: make return value of isatty(3) user configurable new kdudka@…, lzaoral@… feature major
#92 divine info is outdated accepted kdudka@…, jamartis@…, lzaoral@… Vladimír Štill defect minor
#104 build Divine against system LLVM 13 new lzaoral@… mornfall feature minor
Note: See TracQuery for help on using queries.