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
#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 Vladimír Štill defect major 4.4
#95 sim: Integers < -5 appearing in dbg.value are discarded. accepted mornfall defect major 4.4
#96 DiOS: Passing the debug:faultcfg option results in null pointer dereference in kernel accepted Vladimír Štill defect major 4.4
#97 DiOS: Passing the debug:mainargs option results in config error in kernel accepted Vladimír Štill defect major 4.4
#105 make: Move any compilation out of make install accepted mornfall feature major 4.4
#106 make: CMake does not set PYTHON_INTERP during libcxx configuration accepted Vladimír Štill defect major 4.4
#110 DiOS: -o {stdout|stderr}:notrace results in a null pointer dereference new mornfall defect major 4.4
#111 libc: zero size allocations are handled improperly accepted Henrich Lauko defect major 4.4
#92 divine info is outdated accepted Vladimír Štill defect minor 4.3
Note: See TracQuery for help on using queries.