Custom Query (5 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Owner Type Priority Milestone
#273 Handle hierarchical module names new benl feature normal
#276 Delay lifting of indices in type environments. new refactor normal
#280 Rewrites should be done with the most specific rule. new feature normal
#298 Need a more efficient way to compute the aliasing measure. new bug low
#281 Well-formedness check for distinct witnesses is too strict. new feature normal
Note: See TracQuery for help on using queries.