Custom Query (21 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 13 months ago

Status: assigned (6 matches)

Ticket Summary Owner Type Priority Component Created
#17 Generalize smt builder interface to be usable with different back-ends. Henrich Lauko feature major MC 15 months ago
#19 SYM: Spurious errors due to infeasible explicit values Henrich Lauko defect major LART 15 months ago
#26 The weakmem runtime leaks memory Vladimír Štill defect major DiOS 14 months ago
#47 Benchmark abstraction cleanup influence Henrich Lauko task major DiOS 13 months ago
#72 Termination testing our data structures xstill defect major other 8 months ago
#39 Hunt down libc functions that should be defined weak blurry task minor DiOS 13 months ago

Status: new (14 matches)

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