Custom Query (14 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Ticket Summary Status Owner Priority Milestone Component
#4 Implement exec --symbolic. assigned adamatousek major 4.3 MC
#25 Make metadata exception map lock-free assigned adamatousek minor 4.3 VM
#3 Aggregate and garbage-collect *_log tables. new mornfall major 5.0 bench
#30 Possibly move divine's version() out of UI. new mornfall minor 5.0 UI
#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
#16 Undetected double free new Henrich Lauko major 5.0 LART
#17 Generalize smt builder interface to be usable with different back-ends. assigned Henrich Lauko major 5.0 MC
#40 Error with _SYM and array indexing (worked in 4.1.6) new Henrich Lauko major 5.0 LART
#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
#62 Generate concrete counterexample from smt. assigned Henrich Lauko major 4.3 MC
#35 Track origins of memory objects. new major 5.0 DiOS
Note: See TracQuery for help on using queries.