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 8 months ago 8 months ago malte   Translate option --keep-no-ops triggers "Error reading task" chatting davidspeck  
bug 1195 7 months ago 7 months ago malte   remove compution of causal graph heuristic cache hits and misses resolved malte  
bug 1196 7 months ago 5 months ago clemens   EHC can fail to find a solution on undirected state spaces chatting dawson-tomasz  
bug 1197 6 months ago 6 months ago malte translator unhandled exception in translator for non-stratifiable axioms resolved Claudia  
wish 1198 6 months ago 6 months ago florian   Refactor responsibilities of RawRegistry, TypeRegistry and Registry resolved florian  
feature 1199 6 months ago 5 months ago florian   Support to additional LP solvers chatting gustavo gustavo
wish 1200 6 months ago 3 months ago simon   Add paper references to component documentation chatting Claudia  
feature 1201 6 months ago 1 week ago Claudia   Analyse whether a configuration guarantees completeness chatting gabi  
feature 1202 6 months ago 6 months ago simon   Implement systematic overflow detection and handling chatting davidspeck  
bug 1203 5 months ago 5 months ago Claudia   Two bugs in EHC related to preferred operator usage unread Claudia  
bug 1204 5 months ago 5 months ago simon   Unwanted unsafe pruning chatting simon  
feature 1205 5 months ago 1 month ago simon   Matching bounds for Weighted and Const evaluator resolved simon  
wish 1206 5 months ago 5 months ago simon   Maxint or Infinity? chatting simon  
bug 1207 5 months ago 3 weeks ago malte   default implementation for dead_ends_are_reliable()/is_safe() chatting simon  
feature 1208 5 months ago 1 week ago florian   Remove old task transfomation code chatting florian  
meta 1209 5 months ago 1 month ago florian   Add custom task-independent components chatting florian  
feature 1211 5 months ago 5 months ago florian   Split components into task-specific and task-independent code unread florian  
bug 1212 4 months ago 4 months 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 4 months ago 3 months ago gabi   deprecating the SAS file format in favor of JSON for a better interoperability chatting masataro  
bug 1214 4 months ago 4 months ago malte   augment documentation of landmark heuristics and add assertions to plugin documentation code resolved simon  
wish 1215 4 months ago 3 months ago simon   Outdated URLs resolved simon  
bug 1216 4 months ago 4 months ago Claudia   Object types are not checked for atoms mentioned in PDDL problem files unread Claudia  
feature 1217 4 months ago 4 months ago simon   translator: separate argument parser construction from argument parsing resolved malte malte
feature 1218 4 months ago 4 months ago tanja   refactor task parser in search component chatting tanja  
feature 1219 4 months ago 4 months ago malte   improve performance of task parser in search component chatting tanja  
feature 1220 3 months ago 1 week ago gabi translator Distribute the translator on pypi resolved gabi gabi
bug 1221 2 months ago 2 months ago clemens   Assertion failing using "--debug" and "--alias lama-first" options resolved Benedikt  
feature 1222 3 weeks ago 2 weeks ago davidspeck   Add translator option for representing disjunctive formulas using derived variables resolved davidspeck  
wish 1223 3 weeks ago 2 weeks ago gabi   Present Translator Options on the Website resolved simon  
feature 1224 3 weeks ago 1 week ago gustavo   Introduce one-sided constraints to the LP interface resolved gustavo  
wish 1225 3 weeks ago 3 weeks ago Claudia   Present Driver Options on the Website unread Claudia  
wish 1226 3 weeks ago 3 weeks ago simon   Remove the pass_bound parameter of iterated search chatting simon  
wish 1227 3 weeks ago 3 weeks ago florian   Improve interplay between SearchAlgorithms, Heuristics, EvaluationContext, and StateRegistry chatting florian  
feature 1228 3 weeks ago 1 week ago pascal.lauer   alternative precondition choice functions for LM-Cut resolved pascal.lauer pascal.lauer
wish 1229 3 weeks ago 2 weeks ago clemens   Isolate the Domain Transition Graph from the RHW Factory resolved davidspeck  
meta 1230 3 weeks ago 2 weeks ago jilpanter   Backporting features for Cartesian CEGAR from Scorpion unread jilpanter  
wish 1231 3 weeks ago 2 weeks ago Claudia   Remove continue_on_fail option in iterated search chatting simon  
feature 1232 2 weeks ago 2 weeks ago gabi   Translator input "task" should be named "problem" resolved gabi  
wish 1233 2 weeks ago 2 weeks ago simon   report unsolvability for bounded search algos if the bound was not used chatting simon  
feature 1234 2 weeks ago 2 weeks ago florian   Compute landmarks for arbitrary states chatting clemens  
feature 1235 2 weeks ago 1 week ago malte translator Make translator available on pypi resolved gabi gabi
wish 1236 2 weeks ago 2 weeks ago florian   Unpack states only for heuristics that benefit from it unread florian  
wish 1237 2 weeks ago 2 weeks ago florian   Improve SoPlex performance on delete-relaxation constraints unread florian  
wish 1238 1 week ago 1 week ago pascal.lauer   clean up LM-Cut code names and documentation chatting pascal.lauer pascal.lauer
wish 1239 1 week ago 1 week ago simon   further LM-Cut performance improvements chatting pascal.lauer pascal.lauer
bug 1240 1 week ago 1 week ago gabi   Edge case in normalization leads to unstratifiable axioms unread Claudia  
<< previous   1151..1196 out of 1196  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: