Custom Query (14 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


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