List of issues

ID Activity Title Status Creator
814 1 month ago make h^add/h^max/h^FF more efficient, especially in 64-bit builds chatting malte
831 1 month ago Unique names for plugins & predefinitions chatting patfer
823 2 months ago Clarify role of Heuristic class unread gabi
285 2 months ago evaluate/improve A* tie-breaking w.r.t. goal states chatting malte
751 2 months ago store g values in GEvaluator unread jendrik
187 2 months ago Strengthen invariant synthesis chatting gabi
754 2 months ago make 64-bit builds the default, then remove option to build in 32-bit mode in-progress jendrik
816 2 months ago docs: Use sections in wiki documentation to group similar plugins unread gabi
811 3 months ago pass AbstractTask by const reference if ownership is not shared unread jendrik
795 5 months ago sbMIASM: consider alternative options to imitating the shrink strategy of the heuristic when computing temporary product systems unread silvan
788 5 months ago Create End-User Fast Downward Singularity Container in-progress guillem
19 5 months ago make official code distribution deferred malte
787 6 months ago Create Singularity-Based Fast Downward "Developer Toolkit" chatting guillem
779 7 months ago M&S refactoring part 2: Consider performing exact label reduction in some cases where the labels have different cost chatting silvan
397 8 months ago Treat conditional effects differently in-progress gabi
752 11 months ago Support for SoPlex chatting florian
744 11 months ago reduce f-value output for tasks with high and diverse action costs chatting jendrik
741 12 months ago detect bottlenecks automatically unread jendrik
702 23 months ago Compute interesting patterns faster unread florian
334 23 months ago refactor landmark code: more distinctive separation of landmarks generation and heuristics chatting silvan
678 25 months ago Issue with universal quantification over large set of objects chatting enricos83
672 26 months ago Create documentation for the directory structure unread silvan
368 26 months ago Update parents in lazy search when reopen_closed is switched off chatting mkatz
653 28 months ago validate plan costs unread jendrik
661 28 months ago retrieve mutex group numbers from AbstractTask chatting jendrik
636 33 months ago Integrate P^m compilation unread gabi
628 34 months ago Integrate mutex-based interference for stubborn sets unread martin
545 34 months ago Do not store values of derived variables in-progress gabi
624 34 months ago Create custom build configs with ccmake through chatting florian
620 34 months ago add mechanism for global flags set on the command line unread malte
609 35 months ago more logging of time in the driver script chatting malte
450 36 months ago negated axiom rules cause combinatorial explosion chatting malte
590 36 months ago Factory class for operator counting constraints chatting florian
494 49 months ago common implementation of evaluate for multi evaluator open lists chatting pvonreth
415 50 months ago Better memory management for Merge-and-Shrink chatting florian
396 50 months ago possibility to compile away conditional effects in-progress gabi
403 50 months ago Conditional effect support for LMcut chatting florian
377 52 months ago Add more information about heuristics and searches to the code chatting jendrik
424 57 months ago Avoid storing variables whose values are implied unread florian
166 59 months ago improve support of conditional effects in FF heuristic chatting malte
384 65 months ago Use variables instead of predicate names for disjunctive landmarks classes chatting gabi
235 69 months ago search engines should release memory when destroyed reviewing patrik
202 72 months ago explore the use of reasonable orders in the admissible heuristics and explore alternative definitions in-progress malte
304 85 months ago improve handling of zero-cost actions chatting malte
267 85 months ago Add symmetries pruning support chatting nirp
98 89 months ago support derived predicates properly in our heuristics chatting malte
225 93 months ago create capabilities interface deferred erez
121 96 months ago Reuse of heuristic values between different iterations of RWA* chatting malte
865 1 week ago Run buildbot workers for different macOS versions unread florian
864 1 week ago let driver delete intermediate file chatting jendrik
Download as CSV
Sort on: Descending:
Group on: Descending: