List of issues - Show Unassigned

ID Activity Title Status Creator
751 3 months ago store g values in GEvaluator unread jendrik
744 3 months ago reduce f-value output for tasks with high and diverse action costs chatting jendrik
741 4 months ago detect bottlenecks automatically unread jendrik
668 8 months ago Merge-and-Shrink: Integrate dynamic MIASM merge strategy reviewing silvan
285 8 months ago evalute/improve A* tie-breaking w.r.t. goal states chatting malte
708 10 months ago enable Mac OS X buildbot in-progress jendrik
702 15 months ago Compute interesting patterns faster unread florian
589 15 months ago Make statistics output easier to parse reviewing florian
699 15 months ago Use task interface for IntPacker unread florian
334 15 months ago refactor landmark code: more distinctive separation of landmarks generation and heuristics chatting silvan
695 15 months ago space improvement for LM-Count in-progress jendrik
686 17 months ago handle task transformations in path-dependent heuristics unread jendrik
678 17 months ago Issue with universal quantification over large set of objects chatting enricos83
672 18 months ago Create documentation for the directory structure unread silvan
311 18 months ago create "eager_wastar" analog of "lazy_wastar" chatting malte
368 18 months ago Update parents in lazy search when reopen_closed is switched off chatting mkatz
653 20 months ago validate plan costs unread jendrik
661 20 months ago retrieve mutex group numbers from AbstractTask chatting jendrik
646 23 months ago Parent evaluation context in-progress manuel
636 25 months ago Integrate P^m compilation unread gabi
628 26 months ago Integrate mutex-based interference for stubborn sets unread martin
545 26 months ago Do not store values of derived variables in-progress gabi
624 26 months ago Create custom build configs with ccmake through chatting florian
620 26 months ago add mechanism for global flags set on the command line unread malte
609 27 months ago more logging of time in the driver script chatting malte
450 28 months ago negated axiom rules cause combinatorial explosion chatting malte
590 28 months ago Factory class for operator counting constraints chatting florian
494 41 months ago common implementation of evaluate for multi evaluator open lists chatting pvonreth
187 42 months ago Strengthen invariant synthesis chatting gabi
7 42 months ago get rid of unnecessary -1 -> val transitions in the translator output chatting malte
415 42 months ago Better memory management for Merge-and-Shrink chatting florian
396 42 months ago possibility to compile away conditional effects in-progress gabi
403 42 months ago Conditional effect support for LMcut chatting florian
377 44 months ago Add more information about heuristics and searches to the code chatting jendrik
424 49 months ago Avoid storing variables whose values are implied unread florian
166 51 months ago improve support of conditional effects in FF heuristic chatting malte
384 57 months ago Use variables instead of predicate names for disjunctive landmarks classes chatting gabi
235 61 months ago search engines should release memory when destroyed reviewing patrik
202 64 months ago explore the use of reasonable orders in the admissible heuristics and explore alternative definitions in-progress malte
306 76 months ago Fix unintuitive/redundant command-line options chatting malte
304 77 months ago improve handling of zero-cost actions chatting malte
267 77 months ago Add symmetries pruning support chatting nirp
98 81 months ago support derived predicates properly in our heuristics chatting malte
19 84 months ago make official code distribution deferred malte
225 85 months ago create capabilities interface deferred erez
121 88 months ago Reuse of heuristic values between different iterations of RWA* chatting malte
760 3 hours ago Non-deterministic behavior of AdaptiveQueue chatting manuel
762 4 days ago complain about incorrect SAS file reviewing jendrik
767 4 days ago custom build configs: replace glob by single file chatting patfer
761 4 days ago use default builds for searches chatting patfer
Download as CSV
Sort on: Descending:
Group on: Descending: