List of issues - Show All

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

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