List of issues

ID Activity Title Status Creator Assigned To
wish
296 131 months ago translator: performance issue with universally quantified effects chatting malte  
299 131 months ago simplify conditional effects in translator chatting malte  
333 131 months ago Translate fails on nested quantification chatting rpgoldman malte
191 141 months ago make search code more cost-sensitive unread malte  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: