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 3 months ago 3 months ago malte   Translate option --keep-no-ops triggers "Error reading task" chatting davidspeck  
bug 1195 2 months ago 2 months ago malte   remove compution of causal graph heuristic cache hits and misses resolved malte  
bug 1196 2 months ago 3 weeks ago clemens   EHC can fail to find a solution on undirected state spaces chatting dawson-tomasz  
bug 1197 1 month ago 1 month ago malte translator unhandled exception in translator for non-stratifiable axioms resolved Claudia  
wish 1198 1 month ago 1 month ago florian   Refactor responsibilities of RawRegistry, TypeRegistry and Registry resolved florian  
feature 1199 1 month ago 1 month ago florian   Support to additional LP solvers chatting gustavo gustavo
wish 1200 1 month ago 1 month ago Claudia   Add paper references to component documentation chatting Claudia  
feature 1201 1 month ago 4 weeks ago simon   Analyse whether a configuration guarantees completeness chatting gabi  
feature 1202 1 month ago 1 month ago simon   Implement systematic overflow detection and handling chatting davidspeck  
bug 1203 1 month ago 1 month ago Claudia   Two bugs in EHC related to preferred operator usage unread Claudia  
bug 1204 1 month ago 1 month ago simon   Unwanted unsafe pruning chatting simon  
feature 1205 1 month ago 1 month ago simon   mismatch in bounds for Weighted and Const evaluator chatting simon  
wish 1206 1 month ago 1 month ago simon   Maxint or Infinity? chatting simon  
bug 1207 1 month ago 1 month ago malte   default implementation for dead_ends_are_reliable()/is_safe() chatting simon  
feature 1208 3 weeks ago 3 weeks ago florian   Remove old task transfomation code chatting florian  
meta 1209 3 weeks ago 3 weeks ago florian   Add custom task-independent components unread florian  
feature 1211 3 weeks ago 3 weeks ago florian   Split components into task-specific and task-independent code unread florian  
bug 1212 3 days ago 12 hours ago florian   Translator hangs on conditional effects: exponential blowup in negate_and_translate_condition when many conditional effects add the same predicate chatting dspyz  
wish 1213 2 days ago 2 days ago malte   deprecating the SAS file format in favor of JSON for a better interoperability chatting masataro  
<< previous   1151..1169 out of 1169  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: