List of issues

ID Activity Title Status Creator Assigned To
787 3 months ago Create Singularity-Based Fast Downward "Developer Toolkit" chatting guillem guillem
779 3 months ago M&S refactoring part 2: Consider performing exact label reduction in some cases where the labels have different cost chatting silvan silvan
775 4 months ago driver: add --validate-memory-limit and --validate-time-limit options chatting jendrik  
526 4 months ago use shared_ptr for Heuristics in-progress pvonreth guillem
766 4 months ago convert Heuristic options to Evaluator reviewing manuel manuel
718 5 months ago use Evaluator instead of Heuristic in option parser in-progress manuel manuel
397 5 months ago Treat conditional effects differently in-progress gabi jendrik
749 5 months ago docs: add sections for plugins reviewing jendrik jendrik
752 8 months ago Support for SoPlex chatting florian florian
731 8 months ago remove legacy hash functions chatting jendrik jendrik
754 8 months ago make 64-bit builds the default, then remove option to build in 32-bit mode chatting jendrik  
751 8 months ago store g values in GEvaluator unread jendrik  
744 8 months ago reduce f-value output for tasks with high and diverse action costs chatting jendrik  
741 9 months ago detect bottlenecks automatically unread jendrik  
708 15 months ago enable Mac OS X buildbot in-progress jendrik  
702 20 months ago Compute interesting patterns faster unread florian  
589 20 months ago Make statistics output easier to parse reviewing florian jendrik
699 20 months ago Use task interface for IntPacker unread florian florian
334 20 months ago refactor landmark code: more distinctive separation of landmarks generation and heuristics chatting silvan  
686 22 months ago handle task transformations in path-dependent heuristics unread jendrik  
678 22 months ago Issue with universal quantification over large set of objects chatting enricos83  
672 23 months ago Create documentation for the directory structure unread silvan  
311 23 months ago create "eager_wastar" analog of "lazy_wastar" chatting malte salome
368 23 months ago Update parents in lazy search when reopen_closed is switched off chatting mkatz  
653 25 months ago validate plan costs unread jendrik  
661 25 months ago retrieve mutex group numbers from AbstractTask chatting jendrik  
646 28 months ago Parent evaluation context in-progress manuel manuel
636 30 months ago Integrate P^m compilation unread gabi  
628 31 months ago Integrate mutex-based interference for stubborn sets unread martin martin
545 31 months ago Do not store values of derived variables in-progress gabi gabi
624 31 months ago Create custom build configs with ccmake through chatting florian florian
620 31 months ago add mechanism for global flags set on the command line unread malte  
609 32 months ago more logging of time in the driver script chatting malte  
450 33 months ago negated axiom rules cause combinatorial explosion chatting malte  
590 33 months ago Factory class for operator counting constraints chatting florian florian
494 46 months ago common implementation of evaluate for multi evaluator open lists chatting pvonreth  
187 47 months ago Strengthen invariant synthesis chatting gabi gabi
415 47 months ago Better memory management for Merge-and-Shrink chatting florian  
396 47 months ago possibility to compile away conditional effects in-progress gabi gabi
403 47 months ago Conditional effect support for LMcut chatting florian  
377 49 months ago Add more information about heuristics and searches to the code chatting jendrik  
424 54 months ago Avoid storing variables whose values are implied unread florian  
166 56 months ago improve support of conditional effects in FF heuristic chatting malte salome
384 62 months ago Use variables instead of predicate names for disjunctive landmarks classes chatting gabi  
235 66 months ago search engines should release memory when destroyed reviewing patrik erez
202 69 months ago explore the use of reasonable orders in the admissible heuristics and explore alternative definitions in-progress malte silvia
306 81 months ago Fix unintuitive/redundant command-line options chatting malte  
304 82 months ago improve handling of zero-cost actions chatting malte  
267 82 months ago Add symmetries pruning support chatting nirp nirp
98 86 months ago support derived predicates properly in our heuristics chatting malte  
Download as CSV
Sort on: Descending:
Group on: Descending: