Custom Query (13 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 major 4.4 VM
#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
#104 build Divine against system LLVM 9.x new mornfall minor 5.0 other
#105 make: Move any compilation out of make install accepted mornfall major 4.4 other
#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
#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.