Custom Query (10 matches)


Show under each result:

Ticket Summary Status Owner Priority Milestone Component
#3 Aggregate and garbage-collect *_log tables. new mornfall major future bench
#4 Implement exec --symbolic. assigned adamatousek major 4.2 MC
#17 Generalize smt builder interface to be usable with different back-ends. assigned xlauko major future MC
#32 Allow usermeta layers to be weak (debug). new mornfall major future VM
#33 Return the list of leaked objects back to userspace. new mornfall major future VM
#34 Add _VM_T_StackTrace to __vm_trace. new mornfall major future VM
#35 Track origins of memory objects. new major future DiOS
#40 Error with _SYM and array indexing (worked in 4.1.6) new xlauko major future LART
#25 Make metadata exception map lock-free assigned adamatousek minor future VM
#30 Possibly move divine's version() out of UI. new mornfall minor future UI
Note: See TracQuery for help on using queries.