Custom Query (6 matches)
| Ticket | Summary | Status | Owner | Type | Priority | Milestone |
|---|---|---|---|---|---|---|
| #6 | Improve support for debugging inlined functions | new | defect | major | 5.0 | |
| #19 | SYM: Spurious errors due to infeasible explicit values | assigned | defect | major | 5.0 | |
| #43 | Fix thread_local | accepted | defect | major | 4.5 | |
| #45 | Add support for __atomic_* libcalls | new | defect | major | 5.0 | |
| #59 | Make it possible for `step --over` to stop on thread switch | new | defect | major | 4.3 | |
| #72 | Termination testing our data structures | assigned | defect | major | 5.0 |
Note: See TracQuery
for help on using queries.