Custom Query (13 matches)
Ticket | Summary | Status | Owner | Priority | Milestone | Component |
---|---|---|---|---|---|---|
#4 | Implement exec --symbolic. | assigned | major | 4.3 | MC | |
#25 | Make metadata exception map lock-free | assigned | minor | 4.3 | VM | |
#3 | Aggregate and garbage-collect *_log tables. | new | major | 5.0 | bench | |
#30 | Possibly move divine's version() out of UI. | new | minor | 5.0 | UI | |
#32 | Allow usermeta layers to be weak (debug). | new | major | 5.0 | VM | |
#33 | Return the list of leaked objects back to userspace. | new | major | 5.0 | VM | |
#34 | Add _VM_T_StackTrace to __vm_trace. | new | major | 5.0 | VM | |
#16 | Undetected double free | new | major | 5.0 | LART | |
#17 | Generalize smt builder interface to be usable with different back-ends. | assigned | major | 5.0 | MC | |
#40 | Error with _SYM and array indexing (worked in 4.1.6) | new | major | 5.0 | LART | |
#46 | Simplify stashing mechanism | assigned | major | 4.3 | DiOS | |
#48 | Destroy symbolic formula directly when 0 reference count is reached | assigned | major | 4.3 | DiOS | |
#35 | Track origins of memory objects. | new | major | 5.0 | DiOS |
Note: See TracQuery
for help on using queries.