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 |
#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 | 6 days ago | 6 days ago | |
#51 | Write a style guide. | task | major | 5 years ago | 5 years ago |
Note: See TracQuery
for help on using queries.