List of issues

ID Activity Title Status Creator Assigned To
875 5 days ago translator produces static variables chatting gnad  
972 5 days ago Find a way to run Gurobi during Github actions chatting florian  
951 1 week ago Design new development workflow for git chatting patfer  
964 3 weeks ago Add option to use a local logger instead of the global one in-progress silvan silvan
927 1 month ago M&S refactoring part 2: get rid of LabelEquivalenceRelation and use label mappings local to TransitionSystem instead reviewing silvan silvan
921 2 months ago add verbosity option to all heuristics/those heuristics that produce lots of output reviewing silvan silvan
960 2 months ago Add debugging methods to LP solver interface in-progress rik rik
589 3 months ago Make statistics output easier to parse chatting florian  
926 11 months ago Support for Gurobi in-progress florian florian
384 12 months ago Use variables instead of predicate names for disjunctive landmarks classes chatting gabi  
121 13 months ago Reuse of heuristic values between different iterations of RWA* chatting malte erez
788 13 months ago Create End-User Fast Downward Singularity Container in-progress guillem guillem
397 18 months ago Treat conditional effects differently in-progress gabi  
816 18 months ago docs: Use sections in wiki documentation to group similar plugins chatting gabi  
843 19 months ago On the Mac and Windows buildbots, use for testing chatting silvan  
787 19 months ago Create Singularity-Based Fast Downward "Developer Toolkit" chatting guillem guillem
847 21 months ago reduce boilerplate for hash functions unread jendrik  
306 21 months ago Fix unintuitive/redundant command-line options chatting malte  
823 22 months ago Clarify role of Heuristic class unread gabi  
285 22 months ago evaluate/improve A* tie-breaking w.r.t. goal states chatting malte  
751 22 months ago store g values in GEvaluator unread jendrik  
187 22 months ago Strengthen invariant synthesis chatting gabi  
811 23 months ago pass AbstractTask by const reference if ownership is not shared unread jendrik  
795 25 months ago sbMIASM: consider alternative options to imitating the shrink strategy of the heuristic when computing temporary product systems unread silvan  
779 26 months ago M&S refactoring part 2: Consider performing exact label reduction in some cases where the labels have different cost chatting silvan silvan
741 32 months ago detect bottlenecks automatically unread jendrik  
702 43 months ago Compute interesting patterns faster unread florian  
334 43 months ago refactor landmark code: more distinctive separation of landmarks generation and heuristics chatting silvan  
678 45 months ago Issue with universal quantification over large set of objects chatting enricos83  
672 46 months ago Create documentation for the directory structure unread silvan  
368 46 months ago Update parents in lazy search when reopen_closed is switched off chatting mkatz  
653 47 months ago validate plan costs unread jendrik  
661 48 months ago retrieve mutex group numbers from AbstractTask chatting jendrik  
636 53 months ago Integrate P^m compilation unread gabi  
628 54 months ago Integrate mutex-based interference for stubborn sets unread martin martin
545 54 months ago Do not store values of derived variables in-progress gabi gabi
624 54 months ago Create custom build configs with ccmake through chatting florian florian
620 54 months ago add mechanism for global flags set on the command line unread malte  
609 55 months ago more logging of time in the driver script chatting malte  
590 56 months ago Factory class for operator counting constraints chatting florian florian
494 69 months ago common implementation of evaluate for multi evaluator open lists chatting pvonreth  
415 70 months ago Better memory management for Merge-and-Shrink chatting florian  
396 70 months ago possibility to compile away conditional effects in-progress gabi gabi
403 70 months ago Conditional effect support for LMcut chatting florian  
377 72 months ago Add more information about heuristics and searches to the code chatting jendrik  
424 77 months ago Avoid storing variables whose values are implied unread florian  
166 79 months ago improve support of conditional effects in FF heuristic chatting malte salome
235 89 months ago search engines should release memory when destroyed reviewing patrik erez
202 92 months ago explore the use of reasonable orders in the admissible heuristics and explore alternative definitions in-progress malte silvia
304 105 months ago improve handling of zero-cost actions chatting malte  
Download as CSV
Sort on: Descending:
Group on: Descending: