Custom Query (20 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: accepted (1 match)

Ticket Summary Owner Type Priority Component Created
#44 Multi-Threaded Performance Doesn't Scale mornfall defect minor other 18 months ago

Status: assigned (5 matches)

Ticket Summary Owner Type Priority Component Created
#19 SYM: Spurious errors due to infeasible explicit values Henrich Lauko defect major LART 19 months ago
#26 The weakmem runtime leaks memory Vladimír Štill defect major DiOS 19 months ago
#47 Benchmark abstraction cleanup influence Henrich Lauko task major DiOS 17 months ago
#72 Termination testing our data structures xstill defect major other 12 months ago
#39 Hunt down libc functions that should be defined weak blurry task minor DiOS 18 months ago

Status: new (14 matches)

Ticket Summary Owner Type Priority Component Created
#6 Improve support for debugging inlined functions mornfall defect major sim 2 years ago
#10 Memory leak from symbolic values. defect major DiOS 20 months ago
#16 Undetected double free Henrich Lauko feature major LART 20 months ago
#31 Capture 'mount points' are confusing. mornfall task major UI 18 months ago
#32 Allow usermeta layers to be weak (debug). mornfall feature major VM 18 months ago
#33 Return the list of leaked objects back to userspace. mornfall feature major VM 18 months ago
#34 Add _VM_T_StackTrace to __vm_trace. mornfall feature major VM 18 months ago
#35 Track origins of memory objects. feature major DiOS 18 months ago
#40 Error with _SYM and array indexing (worked in 4.1.6) Henrich Lauko feature major LART 18 months ago
#45 Add support for __atomic_* libcalls defect major DiOS 18 months ago
#51 Write a style guide. mornfall task major other 17 months ago
#30 Possibly move divine's version() out of UI. mornfall feature minor UI 18 months ago
#63 Use refcount_ptr in DiOS. task minor DiOS 13 months ago
#104 build Divine against system LLVM 9.x mornfall feature minor other 6 months ago
Note: See TracQuery for help on using queries.