Custom Query (5 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: assigned (1 match)

Ticket Summary Owner Type Priority Version Created
#1606 Add code to lfa2 for extinguishing SRFI-4 predicates felix winkelmann enhancement minor 5.0.0 3 years ago

Status: new (3 matches)

Ticket Summary Owner Type Priority Version Created
#1475 (scrutinizer) Types for global variables are not refined by predicates defect major 5.0.0 3 years ago
#1476 (scrutinizer) Should global types be smashed in local contexts? task minor 5.0.0 3 years ago
#1446 Implement contravariant type checking for procedure types enhancement not urgent at all 5.0.0 4 years ago

Status: reopened (1 match)

Ticket Summary Owner Type Priority Version Created
#1399 Scrutinizer produces incorrect procedure types after merge evhan defect major 4.12.0 4 years ago
Note: See TracQuery for help on using queries.