List of issues

ID Activity Title Status Creator
wish
502 125 months ago Do not create duplicate actions chatting gabi
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
191 141 months ago make search code more cost-sensitive unread malte
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: