Custom Query (9 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Owner Type Priority Milestone
#47 Benchmark abstraction cleanup influence assigned Henrich Lauko task major 5.0
#48 Destroy symbolic formula directly when 0 reference count is reached assigned Henrich Lauko feature major 4.3
#17 Generalize smt builder interface to be usable with different back-ends. assigned Henrich Lauko feature major 5.0
#62 Generate concrete counterexample from smt. assigned Henrich Lauko feature major 4.3
#18 Implement string modification abstraction. new Henrich Lauko task major 5.0
#10 Memory leak from symbolic values. new defect major 5.0
#46 Simplify stashing mechanism assigned Henrich Lauko feature major 4.3
#16 Undetected double free new Henrich Lauko feature major 5.0
#63 Use refcount_ptr in DiOS. new task minor 5.0
Note: See TracQuery for help on using queries.