List of issues - Show Unassigned

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

ID Activity Title Status Creator
feature
1208 3 months ago Remove old task transfomation code chatting florian
1211 3 months ago Split components into task-specific and task-independent code unread florian
1201 3 months ago Analyse whether a configuration guarantees completeness chatting gabi
1199 3 months ago Support to additional LP solvers chatting gustavo
1205 3 months ago mismatch in bounds for Weighted and Const evaluator chatting simon
1202 3 months ago Implement systematic overflow detection and handling chatting davidspeck
1159 7 months ago Get rid of g_axiom_evaluators chatting florian
1190 9 months ago Improve documentation on website reviewing gabi
636 12 months ago Integrate P^m compilation chatting gabi
1169 16 months ago Bitsets / Dynamic Bitset enhancements unread masataro
1168 16 months ago More quality-of-life improvements: Hash and printers for collections unread masataro
1167 16 months ago More quality-of-life improvements: Exp/Eval/Gen limits, and soft limits unread masataro
1166 16 months ago Kuroiwa's Biased Exploration code base ported to modern fast downward unread masataro
1157 16 months ago Novelty implementation (w<=2) chatting masataro
1160 18 months ago Support trivially solvable and unsolvable tasks in search component unread gabi
1149 22 months ago Tab completion for the --search string unread florian
1137 25 months ago Disable presolving for potential heuristics chatting florian
384 29 months ago Use variables instead of predicate names for disjunctive landmarks classes chatting gabi
1103 34 months ago Try compiling each CMake plugin/library as its own library chatting florian
98 35 months ago support derived predicates properly in our heuristics chatting malte
1083 40 months ago Clean up mutex key chatting gabi
1078 40 months ago Integrate Translator and Search Component chatting gabi
1060 47 months ago Make planner silent (= no output) when configuring all components to be silent chatting silvan
1052 51 months ago replace g_log by local LogProxy objects everywhere unread silvan
1050 51 months ago Handle landmarks from derived variables in a principled way. chatting clemens
1046 52 months ago Split operator-counting plugin into several independent CMake plugins chatting florian
986 56 months ago emscripten support in-progress Patrick.Speicher
751 60 months ago store g values in GEvaluator chatting jendrik
1022 60 months ago pattern collection generators: support commonly used options in all generators unread silvan
980 71 months ago Implementing distance based tie breaking in search chatting mkatz
875 72 months ago translator produces static variables chatting gnad
121 85 months ago Reuse of heuristic values between different iterations of RWA* chatting malte
397 90 months ago Treat conditional effects differently in-progress gabi
816 90 months ago docs: Use sections in wiki documentation to group similar plugins chatting gabi
847 93 months ago reduce boilerplate for hash functions unread jendrik
823 94 months ago Clarify role of Heuristic class unread gabi
285 94 months ago evaluate/improve A* tie-breaking w.r.t. goal states chatting malte
187 94 months ago Strengthen invariant synthesis chatting gabi
795 97 months ago sbMIASM: consider alternative options to imitating the shrink strategy of the heuristic when computing temporary product systems unread silvan
779 99 months ago M&S refactoring part 2: Consider performing exact label reduction in some cases where the labels have different cost chatting silvan
702 115 months ago Compute interesting patterns faster unread florian
678 117 months ago Issue with universal quantification over large set of objects chatting enricos83
368 118 months ago Update parents in lazy search when reopen_closed is switched off chatting mkatz
628 126 months ago Integrate mutex-based interference for stubborn sets unread martin
545 126 months ago Do not store values of derived variables in-progress gabi
620 126 months ago add mechanism for global flags set on the command line unread malte
609 127 months ago more logging of time in the driver script chatting malte
590 128 months ago Factory class for operator counting constraints chatting florian
494 141 months ago common implementation of evaluate for multi evaluator open lists chatting pvonreth
415 142 months ago Better memory management for Merge-and-Shrink chatting florian
<< previous   51..100 out of 161 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: