Custom Query (5 matches)


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
#281 Well-formedness check for distinct witnesses is too strict. new feature normal
#298 Need a more efficient way to compute the aliasing measure. new bug low
Note: See TracQuery for help on using queries.