Custom Query (2 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: assigned (2 matches)

Ticket Summary Owner Type Priority Created Modified
#4 Implement exec --symbolic. adamatousek feature major 6 years ago 5 years ago
#62 Generate concrete counterexample from smt. Henrich Lauko feature major 5 years ago 5 years ago
Note: See TracQuery for help on using queries.