List of issues

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

ID Activity Title Status Creator
feature
1149 17 months ago Tab completion for the --search string unread florian
1137 20 months ago Disable presolving for potential heuristics chatting florian
384 24 months ago Use variables instead of predicate names for disjunctive landmarks classes chatting gabi
1103 29 months ago Try compiling each CMake plugin/library as its own library chatting florian
98 30 months ago support derived predicates properly in our heuristics chatting malte
1083 35 months ago Clean up mutex key chatting gabi
1078 36 months ago Integrate Translator and Search Component chatting gabi
1060 42 months ago Make planner silent (= no output) when configuring all components to be silent chatting silvan
1052 46 months ago replace g_log by local LogProxy objects everywhere unread silvan
1050 47 months ago Handle landmarks from derived variables in a principled way. chatting clemens
1046 48 months ago Split operator-counting plugin into several independent CMake plugins chatting florian
986 51 months ago emscripten support in-progress Patrick.Speicher
751 55 months ago store g values in GEvaluator chatting jendrik
1022 55 months ago pattern collection generators: support commonly used options in all generators unread silvan
980 66 months ago Implementing distance based tie breaking in search chatting mkatz
875 67 months ago translator produces static variables chatting gnad
121 80 months ago Reuse of heuristic values between different iterations of RWA* chatting malte
397 85 months ago Treat conditional effects differently in-progress gabi
816 86 months ago docs: Use sections in wiki documentation to group similar plugins chatting gabi
847 88 months ago reduce boilerplate for hash functions unread jendrik
823 89 months ago Clarify role of Heuristic class unread gabi
285 89 months ago evaluate/improve A* tie-breaking w.r.t. goal states chatting malte
187 89 months ago Strengthen invariant synthesis chatting gabi
795 92 months ago sbMIASM: consider alternative options to imitating the shrink strategy of the heuristic when computing temporary product systems unread silvan
779 94 months ago M&S refactoring part 2: Consider performing exact label reduction in some cases where the labels have different cost chatting silvan
702 110 months ago Compute interesting patterns faster unread florian
678 112 months ago Issue with universal quantification over large set of objects chatting enricos83
368 114 months ago Update parents in lazy search when reopen_closed is switched off chatting mkatz
628 121 months ago Integrate mutex-based interference for stubborn sets unread martin
545 121 months ago Do not store values of derived variables in-progress gabi
624 122 months ago Create custom build configs with ccmake through build.py chatting florian
620 122 months ago add mechanism for global flags set on the command line unread malte
609 123 months ago more logging of time in the driver script chatting malte
590 124 months ago Factory class for operator counting constraints chatting florian
494 136 months ago common implementation of evaluate for multi evaluator open lists chatting pvonreth
415 137 months ago Better memory management for Merge-and-Shrink chatting florian
396 137 months ago possibility to compile away conditional effects in-progress gabi
403 137 months ago Conditional effect support for LMcut chatting florian
424 144 months ago Avoid storing variables whose values are implied unread florian
166 147 months ago improve support of conditional effects in FF heuristic chatting malte
235 156 months ago search engines should release memory when destroyed reviewing patrik
304 172 months ago improve handling of zero-cost actions chatting malte
267 173 months ago Add symmetries pruning support chatting nirp
wish
1193 5 days ago Update Documentation on Coding Conventions reviewing clemens
1124 3 weeks ago Improve SoPlex performance chatting florian
1171 2 months ago M&S SCC merge strategy: allow working on any SCC reviewing silvan
997 3 months ago Do not return FactProxy from State::operator[] chatting florian
1181 10 months ago rename FactProxy to AtomProxy and FactPair to Atom unread jendrik
1177 11 months ago Revise exit codes for malformed input files chatting Claudia
1178 11 months ago Check token syntax when parsing PDDL files chatting Claudia
<< previous   51..100 out of 148 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: