Custom Query (3 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Owner Type Priority Milestone
#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
#4 Implement exec --symbolic. assigned adamatousek feature major 4.3
Note: See TracQuery for help on using queries.