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 | |
#45 | Add support for __atomic_* libcalls | new | defect | major | 5.0 | |
#72 | Termination testing our data structures | assigned | defect | major | 5.0 | |
#43 | Fix thread_local | accepted | defect | major | 4.5 | |
#59 | Make it possible for `step --over` to stop on thread switch | new | defect | major | 4.3 |
Note: See TracQuery
for help on using queries.