List of issues

ID Activity Title Status Creator Assigned To
feature
927 4 months ago M&S refactoring part 2: get rid of LabelEquivalenceRelation and use label mappings local to TransitionSystem instead reviewing silvan silvan
1040 4 months ago Rewrite option parser to support the component interaction problem chatting florian  
1060 4 months ago Make planner silent (= no output) when configuring all components to be silent chatting silvan  
1030 5 months ago Better error message when facing empty conditions in-progress victor.paleologue victor.paleologue
1052 8 months ago replace g_log by local LogProxy objects everywhere unread silvan  
1050 9 months ago Handle landmarks from derived variables in a principled way. chatting clemens  
1047 9 months ago Exit cleanly when SoPlex is used for MIPs chatting florian  
1046 10 months ago Split operator-counting plugin into several independent CMake plugins chatting florian  
986 13 months ago emscripten support in-progress Patrick.Speicher Patrick.Speicher
751 17 months ago store g values in GEvaluator chatting jendrik  
1022 17 months ago pattern collection generators: support commonly used options in all generators unread silvan  
1014 20 months ago disable the buildbot chatting malte  
977 21 months ago Enforce naming conventions for git repository in-progress patfer patfer
926 21 months ago Support for Gurobi in-progress florian florian
972 22 months ago Find a way to run Gurobi during Github actions chatting florian  
980 28 months ago Implementing distance based tie breaking in search chatting mkatz  
875 29 months ago translator produces static variables chatting gnad  
384 42 months ago Use variables instead of predicate names for disjunctive landmarks classes chatting gabi  
121 42 months ago Reuse of heuristic values between different iterations of RWA* chatting malte erez
397 47 months ago Treat conditional effects differently in-progress gabi  
816 48 months ago docs: Use sections in wiki documentation to group similar plugins chatting gabi  
847 50 months ago reduce boilerplate for hash functions unread jendrik  
306 51 months ago Fix unintuitive/redundant command-line options chatting malte  
823 51 months ago Clarify role of Heuristic class unread gabi  
285 51 months ago evaluate/improve A* tie-breaking w.r.t. goal states chatting malte  
187 51 months ago Strengthen invariant synthesis chatting gabi  
795 54 months ago sbMIASM: consider alternative options to imitating the shrink strategy of the heuristic when computing temporary product systems unread silvan  
779 56 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 72 months ago Compute interesting patterns faster unread florian  
678 74 months ago Issue with universal quantification over large set of objects chatting enricos83  
368 76 months ago Update parents in lazy search when reopen_closed is switched off chatting mkatz  
636 83 months ago Integrate P^m compilation unread gabi  
628 83 months ago Integrate mutex-based interference for stubborn sets unread martin martin
545 83 months ago Do not store values of derived variables in-progress gabi gabi
624 84 months ago Create custom build configs with ccmake through build.py chatting florian florian
620 84 months ago add mechanism for global flags set on the command line unread malte  
609 85 months ago more logging of time in the driver script chatting malte  
590 86 months ago Factory class for operator counting constraints chatting florian florian
494 98 months ago common implementation of evaluate for multi evaluator open lists chatting pvonreth  
415 99 months ago Better memory management for Merge-and-Shrink chatting florian  
396 99 months ago possibility to compile away conditional effects in-progress gabi gabi
403 99 months ago Conditional effect support for LMcut chatting florian  
424 106 months ago Avoid storing variables whose values are implied unread florian  
166 109 months ago improve support of conditional effects in FF heuristic chatting malte salome
235 118 months ago search engines should release memory when destroyed reviewing patrik erez
202 122 months ago explore the use of reasonable orders in the admissible heuristics and explore alternative definitions in-progress malte silvia
304 134 months ago improve handling of zero-cost actions chatting malte  
267 135 months ago Add symmetries pruning support chatting nirp nirp
98 139 months ago support derived predicates properly in our heuristics chatting malte  
wish
856 1 month ago clang-tidy: add checks for std::move() chatting jendrik jendrik
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: