Custom Query (7 matches)
| Ticket | Summary | Status | Owner | Type | Priority | Component |
|---|---|---|---|---|---|---|
| #197 | Generated constructor calls copy ctor twice on tuple elements | new | defect | major | cfa-cc | |
| #222 | Empty parameter list in nested forall clause generates unused parameter | new | defect | major | cfa-cc | |
| #227 | Interpretation of assertions with struct declaration | new | defect | major | cfa-cc | |
| #229 | Incorrect implementation of casting to monomorphic | new | defect | major | cfa-cc | |
| #267 | Expression candidate elimination with unsatisfiable assertion | new | defect | major | cfa-cc | |
| #268 | Downcasting against type parameter failed | new | defect | major | cfa-cc | |
| #231 | Cannot print tuple literal containing 0 or 1 | new | defect | minor | cfa-cc |
Note: See TracQuery
for help on using queries.
