Custom Query (5 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: accepted (1 match)

Ticket Summary Owner Type Priority Created Modified
#44 Multi-Threaded Performance Doesn't Scale mornfall 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 xstill defect major 5 years ago 5 years ago

Status: new (3 matches)

Ticket Summary Owner Type Priority Created Modified
#51 Write a style guide. mornfall task major 5 years ago 5 years ago
#123 How to use the command line to check whether a C program satisfies the LTL nature mornfall defect major 6 weeks ago 6 weeks ago
#104 build Divine against system LLVM 13 mornfall feature minor 4 years ago 3 years ago
Note: See TracQuery for help on using queries.