Custom Query (19 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 5 years 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 5 years ago
#26 The weakmem runtime leaks memory Vladimír Štill defect major DiOS 5 years ago
#47 Benchmark abstraction cleanup influence Henrich Lauko task major DiOS 5 years ago
#72 Termination testing our data structures xstill defect major other 5 years ago
#39 Hunt down libc functions that should be defined weak blurry task minor DiOS 5 years ago

Status: new (13 matches)

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