Custom Query (22 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: assigned (5 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 6 months ago
#19 SYM: Spurious errors due to infeasible explicit values Henrich Lauko defect major LART 6 months ago
#26 The weakmem runtime leaks memory Vladimír Štill defect major DiOS 5 months ago
#47 Benchmark abstraction cleanup influence Henrich Lauko task major DiOS 4 months ago
#39 Hunt down libc functions that should be defined weak blurry task minor DiOS 4 months ago

Status: new (17 matches)

Ticket Summary Owner Type Priority Component Created
#3 Aggregate and garbage-collect *_log tables. mornfall feature major bench 12 months ago
#6 Improve support for debugging inlined functions mornfall defect major sim 12 months ago
#10 Memory leak from symbolic values. defect major DiOS 7 months ago
#16 Undetected double free Henrich Lauko feature major LART 6 months ago
#18 Implement string modification abstraction. Henrich Lauko task major LART 6 months ago
#31 Capture 'mount points' are confusing. mornfall task major UI 4 months ago
#32 Allow usermeta layers to be weak (debug). mornfall feature major VM 4 months ago
#33 Return the list of leaked objects back to userspace. mornfall feature major VM 4 months ago
#34 Add _VM_T_StackTrace to __vm_trace. mornfall feature major VM 4 months ago
#35 Track origins of memory objects. feature major DiOS 4 months ago
#38 Report attempts to use symbolic data if symbolic is disable mornfall defect major other 4 months ago
#40 Error with _SYM and array indexing (worked in 4.1.6) Henrich Lauko feature major LART 4 months ago
#45 Add support for __atomic_* libcalls defect major DiOS 4 months ago
#51 Write a style guide. mornfall task major other 4 months ago
#30 Possibly move divine's version() out of UI. mornfall feature minor UI 4 months ago
#44 Multi-Threaded Performance Doesn't Scale mornfall defect minor other 4 months ago
#58 Build fails: Directory nonexistent mornfall defect minor other 7 weeks ago
Note: See TracQuery for help on using queries.