Custom Query (35 matches)


Show under each result:

Ticket Summary Owner Type Priority Milestone Component
#3 Aggregate and garbage-collect *_log tables. mornfall feature major 5.0 bench
#6 Improve support for debugging inlined functions mornfall defect major 5.0 sim
#10 Memory leak from symbolic values. defect major 5.0 DiOS
#16 Undetected double free Henrich Lauko feature major 5.0 LART
#18 Implement string modification abstraction. Henrich Lauko task major 5.0 LART
#22 Use lifetime markers to move allocas Henrich Lauko task major 4.3 LART
#31 Capture 'mount points' are confusing. mornfall task major 5.0 UI
#32 Allow usermeta layers to be weak (debug). mornfall feature major 5.0 VM
#33 Return the list of leaked objects back to userspace. mornfall feature major 5.0 VM
#34 Add _VM_T_StackTrace to __vm_trace. mornfall feature major 5.0 VM
#35 Track origins of memory objects. feature major 5.0 DiOS
#38 Report attempts to use symbolic data if symbolic is disable mornfall defect major 5.0 other
#40 Error with _SYM and array indexing (worked in 4.1.6) Henrich Lauko feature major 5.0 LART
#45 Add support for __atomic_* libcalls defect major 5.0 DiOS
#51 Write a style guide. mornfall task major 5.0 other
#55 Store snapshots in 2 layers. mornfall task major 4.4 VM
#59 Make it possible for `step --over` to stop on thread switch mornfall defect major 4.3 sim
#64 Integrate Ballista into DiOS' testsuite. task major 4.4 DiOS
#66 Re-write addSection in terms of llvm code. blurrymoi task major 4.4 divcc
#68 sysconf macros should be inferred via hostabi task major 4.4 DiOS
#69 Fix linking with lld blurrymoi defect major 4.4 divcc
#90 VFS: Divine segfaults while loading when capturing a diffutils directory defect major 4.3 DiOS
#94 sim: Signed integer value is shown as unsigned. mornfall defect major 4.4 sim
#95 sim: Negative integer is ignored when defined after another negative integer. mornfall defect major 4.4 sim
#96 DiOS: Passing the debug:faultcfg option results in null pointer dereference in kernel defect major 4.4 DiOS
#97 DiOS: Passing the debug:mainargs option results in config error in kernel defect major 4.4 DiOS
#98 testsuite: Testsuite does not use clang from Divine's toolchain mornfall defect major 4.4 other
#99 The '+' character in nightly tars breaks some tests mornfall defect major 4.4 other
#100 libc: getline implementation incorrectly checks the failure of realloc defect major 4.4 DiOS
#30 Possibly move divine's version() out of UI. mornfall feature minor 5.0 UI
#44 Multi-Threaded Performance Doesn't Scale mornfall defect minor 5.0 other
#63 Use refcount_ptr in DiOS. task minor 5.0 DiOS
#75 Make failure without ninja - Divine 4.3.4 mornfall defect minor 4.3 other
#91 Make (install) enhancements mornfall feature minor 4.3 other
#92 divine info is outdated defect minor 4.3 DiOS
Note: See TracQuery for help on using queries.