List of issues

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

ID Activity Title Status Creator Assigned To
feature
1149 9 months ago Tab completion for the --search string unread florian  
1137 12 months ago Disable presolving for potential heuristics chatting florian  
384 15 months ago Use variables instead of predicate names for disjunctive landmarks classes chatting gabi  
1077 19 months ago remove combo pattern collection generator chatting silvan  
1103 21 months ago Try compiling each CMake plugin/library as its own library chatting florian  
98 22 months ago support derived predicates properly in our heuristics chatting malte  
1083 27 months ago Clean up mutex key chatting gabi  
1078 27 months ago Integrate Translator and Search Component chatting gabi  
1063 32 months ago Compute indirect subtype relationship more efficiently chatting mkatz  
1060 34 months ago Make planner silent (= no output) when configuring all components to be silent chatting silvan  
1052 38 months ago replace g_log by local LogProxy objects everywhere unread silvan  
1050 38 months ago Handle landmarks from derived variables in a principled way. chatting clemens  
1046 39 months ago Split operator-counting plugin into several independent CMake plugins chatting florian  
986 43 months ago emscripten support in-progress Patrick.Speicher Patrick.Speicher
751 47 months ago store g values in GEvaluator chatting jendrik  
1022 47 months ago pattern collection generators: support commonly used options in all generators unread silvan  
980 58 months ago Implementing distance based tie breaking in search chatting mkatz  
875 59 months ago translator produces static variables chatting gnad  
121 72 months ago Reuse of heuristic values between different iterations of RWA* chatting malte erez
397 77 months ago Treat conditional effects differently in-progress gabi  
816 77 months ago docs: Use sections in wiki documentation to group similar plugins chatting gabi  
847 80 months ago reduce boilerplate for hash functions unread jendrik  
823 81 months ago Clarify role of Heuristic class unread gabi  
285 81 months ago evaluate/improve A* tie-breaking w.r.t. goal states chatting malte  
187 81 months ago Strengthen invariant synthesis chatting gabi  
795 84 months ago sbMIASM: consider alternative options to imitating the shrink strategy of the heuristic when computing temporary product systems unread silvan  
779 86 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 102 months ago Compute interesting patterns faster unread florian  
678 104 months ago Issue with universal quantification over large set of objects chatting enricos83  
368 105 months ago Update parents in lazy search when reopen_closed is switched off chatting mkatz  
628 113 months ago Integrate mutex-based interference for stubborn sets unread martin martin
545 113 months ago Do not store values of derived variables in-progress gabi gabi
624 113 months ago Create custom build configs with ccmake through build.py chatting florian florian
620 113 months ago add mechanism for global flags set on the command line unread malte  
609 114 months ago more logging of time in the driver script chatting malte  
590 115 months ago Factory class for operator counting constraints chatting florian florian
494 128 months ago common implementation of evaluate for multi evaluator open lists chatting pvonreth  
415 129 months ago Better memory management for Merge-and-Shrink chatting florian  
396 129 months ago possibility to compile away conditional effects in-progress gabi gabi
403 129 months ago Conditional effect support for LMcut chatting florian  
424 136 months ago Avoid storing variables whose values are implied unread florian  
166 138 months ago improve support of conditional effects in FF heuristic chatting malte salome
235 148 months ago search engines should release memory when destroyed reviewing patrik erez
304 164 months ago improve handling of zero-cost actions chatting malte  
267 165 months ago Add symmetries pruning support chatting nirp nirp
wish
992 3 weeks ago Make landmark code more readable. in-progress thomas  
997 1 month ago Do not return FactProxy from State::operator[] chatting florian  
1181 2 months ago rename FactProxy to AtomProxy and FactPair to Atom unread jendrik  
1171 2 months ago M&S SCC merge strategy: allow working on any SCC reviewing silvan silvan
1177 3 months ago Revise exit codes for malformed input files chatting Claudia  
<< previous   51..100 out of 156 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: