List of issues

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

Priority ID Creation Activity Actor Keyword Title Status Creator Assigned To
bug 1194 2 months ago 2 months ago malte   Translate option --keep-no-ops triggers "Error reading task" chatting davidspeck  
bug 1195 1 month ago 1 month ago malte   remove compution of causal graph heuristic cache hits and misses resolved malte  
bug 1196 1 month ago 1 month ago dawson-tomasz   EHC can fail to find a solution on undirected state spaces chatting dawson-tomasz  
bug 1197 2 weeks ago 1 week ago malte translator unhandled exception in translator for non-stratifiable axioms resolved Claudia  
wish 1198 1 week ago 6 days ago florian   Refactor responsibilities of RawRegistry, TypeRegistry and Registry resolved florian  
feature 1199 6 days ago 6 days ago gustavo   Support to additional LP solvers chatting gustavo gustavo
wish 1200 5 days ago 5 days ago Claudia   Add paper references to component documentation unread Claudia  
feature 1201 5 days ago 5 days ago malte   Analyse whether a configuration guarantees completeness unread gabi  
feature 1202 2 days ago 2 days ago malte   Implement systematic overflow detection and handling chatting davidspeck  
<< previous   1151..1159 out of 1159  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: