List of issues

ID Activity Title Status Creator Assigned To
927 7 days ago M&S refactoring part 2: get rid of LabelEquivalenceRelation and use label mappings local to TransitionSystem instead reviewing silvan silvan
1014 3 weeks ago disable the buildbot chatting malte  
977 1 month ago Enforce naming conventions for git repository in-progress patfer patfer
926 1 month ago Support for Gurobi in-progress florian florian
1011 1 month ago Determine unsolvability based on landmark graph chatting thomas  
972 2 months ago Find a way to run Gurobi during Github actions chatting florian  
980 8 months ago Implementing distance based tie breaking in search chatting mkatz  
964 8 months ago Add option to use a local logger instead of the global one reviewing silvan silvan
875 9 months ago translator produces static variables chatting gnad  
921 11 months ago add verbosity option to all heuristics/those heuristics that produce lots of output reviewing silvan silvan
589 12 months ago Make statistics output easier to parse chatting florian  
384 22 months ago Use variables instead of predicate names for disjunctive landmarks classes chatting gabi  
121 22 months ago Reuse of heuristic values between different iterations of RWA* chatting malte erez
788 22 months ago Create End-User Fast Downward Singularity Container in-progress guillem guillem
397 27 months ago Treat conditional effects differently in-progress gabi  
816 28 months ago docs: Use sections in wiki documentation to group similar plugins chatting gabi  
787 29 months ago Create Singularity-Based Fast Downward "Developer Toolkit" chatting guillem guillem
847 30 months ago reduce boilerplate for hash functions unread jendrik  
306 31 months ago Fix unintuitive/redundant command-line options chatting malte  
823 31 months ago Clarify role of Heuristic class unread gabi  
285 31 months ago evaluate/improve A* tie-breaking w.r.t. goal states chatting malte  
751 31 months ago store g values in GEvaluator unread jendrik  
187 31 months ago Strengthen invariant synthesis chatting gabi  
795 34 months ago sbMIASM: consider alternative options to imitating the shrink strategy of the heuristic when computing temporary product systems unread silvan  
779 36 months ago M&S refactoring part 2: Consider performing exact label reduction in some cases where the labels have different cost chatting silvan silvan
702 52 months ago Compute interesting patterns faster unread florian  
678 54 months ago Issue with universal quantification over large set of objects chatting enricos83  
368 56 months ago Update parents in lazy search when reopen_closed is switched off chatting mkatz  
636 63 months ago Integrate P^m compilation unread gabi  
628 63 months ago Integrate mutex-based interference for stubborn sets unread martin martin
545 63 months ago Do not store values of derived variables in-progress gabi gabi
624 64 months ago Create custom build configs with ccmake through chatting florian florian
620 64 months ago add mechanism for global flags set on the command line unread malte  
609 65 months ago more logging of time in the driver script chatting malte  
590 66 months ago Factory class for operator counting constraints chatting florian florian
494 78 months ago common implementation of evaluate for multi evaluator open lists chatting pvonreth  
415 79 months ago Better memory management for Merge-and-Shrink chatting florian  
396 79 months ago possibility to compile away conditional effects in-progress gabi gabi
403 79 months ago Conditional effect support for LMcut chatting florian  
424 86 months ago Avoid storing variables whose values are implied unread florian  
166 89 months ago improve support of conditional effects in FF heuristic chatting malte salome
235 98 months ago search engines should release memory when destroyed reviewing patrik erez
202 102 months ago explore the use of reasonable orders in the admissible heuristics and explore alternative definitions in-progress malte silvia
304 114 months ago improve handling of zero-cost actions chatting malte  
267 115 months ago Add symmetries pruning support chatting nirp nirp
98 119 months ago support derived predicates properly in our heuristics chatting malte  
1007 yesterday Integrate CEGAR-based pattern collection generation algorithms in-progress silvan silvan
961 3 weeks ago move build instructions to repo chatting jendrik  
576 4 weeks ago use transition normal form for admissible potential heuristics chatting jendrik  
1001 1 month ago Github Actions Wishlist chatting silvan  
Download as CSV
Sort on: Descending:
Group on: Descending: