Custom Query (12 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Cc Owner Type Priority
#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@… 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
#96 DiOS: Passing the debug:faultcfg option results in null pointer dereference in kernel accepted kdudka@…, jamartis@…, lzaoral@… Vladimír Štill defect major
#97 DiOS: Passing the debug:mainargs option results in config error in kernel accepted kdudka@…, jamartis@…, lzaoral@… Vladimír Štill defect major
#106 make: CMake does not set PYTHON_INTERP during libcxx configuration accepted kdudka@…, lzaoral@… Vladimír Štill defect major
#110 DiOS: -o {stdout|stderr}:notrace results in a null pointer dereference new kdudka@…, lzaoral@… mornfall defect major
#111 libc: zero size allocations are handled improperly accepted kdudka@…, lzaoral@… Henrich Lauko defect major
#92 divine info is outdated accepted kdudka@…, jamartis@…, lzaoral@… Vladimír Štill defect minor
#104 build Divine against system LLVM 9.x new lzaoral@… mornfall feature minor
Note: See TracQuery for help on using queries.