Custom Query (5 matches)
Status: accepted (1 match)
| Ticket | Summary | Owner | Type | Priority | Created | Modified |
|---|---|---|---|---|---|---|
| #44 | Multi-Threaded Performance Doesn't Scale | defect | minor | 5 years ago | 4 years ago | |
Status: assigned (1 match) |
||||||
| Ticket | Summary | Owner | Type | Priority | Created | Modified |
| #72 | Termination testing our data structures | defect | major | 5 years ago | 5 years ago | |
Status: new (3 matches) |
||||||
| Ticket | Summary | Owner | Type | Priority | Created | Modified |
| #51 | Write a style guide. | task | major | 5 years ago | 5 years ago | |
| #104 | build Divine against system LLVM 13 | feature | minor | 4 years ago | 3 years ago | |
| #123 | How to use the command line to check whether a C program satisfies the LTL nature | defect | major | 11 hours ago | 11 hours ago | |
Note: See TracQuery
for help on using queries.