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
1050 31 months ago Handle landmarks from derived variables in a principled way. chatting clemens
1046 32 months ago Split operator-counting plugin into several independent CMake plugins chatting florian
986 36 months ago emscripten support in-progress Patrick.Speicher
751 39 months ago store g values in GEvaluator chatting jendrik
1022 40 months ago pattern collection generators: support commonly used options in all generators unread silvan
980 51 months ago Implementing distance based tie breaking in search chatting mkatz
875 52 months ago translator produces static variables chatting gnad
121 65 months ago Reuse of heuristic values between different iterations of RWA* chatting malte
397 70 months ago Treat conditional effects differently in-progress gabi
816 70 months ago docs: Use sections in wiki documentation to group similar plugins chatting gabi
847 73 months ago reduce boilerplate for hash functions unread jendrik
306 73 months ago Fix unintuitive/redundant command-line options chatting malte
823 73 months ago Clarify role of Heuristic class unread gabi
285 73 months ago evaluate/improve A* tie-breaking w.r.t. goal states chatting malte
187 73 months ago Strengthen invariant synthesis chatting gabi
795 77 months ago sbMIASM: consider alternative options to imitating the shrink strategy of the heuristic when computing temporary product systems unread silvan
779 78 months ago M&S refactoring part 2: Consider performing exact label reduction in some cases where the labels have different cost chatting silvan
702 94 months ago Compute interesting patterns faster unread florian
678 97 months ago Issue with universal quantification over large set of objects chatting enricos83
368 98 months ago Update parents in lazy search when reopen_closed is switched off chatting mkatz
636 105 months ago Integrate P^m compilation unread gabi
628 105 months ago Integrate mutex-based interference for stubborn sets unread martin
545 106 months ago Do not store values of derived variables in-progress gabi
624 106 months ago Create custom build configs with ccmake through build.py chatting florian
620 106 months ago add mechanism for global flags set on the command line unread malte
609 107 months ago more logging of time in the driver script chatting malte
590 108 months ago Factory class for operator counting constraints chatting florian
494 121 months ago common implementation of evaluate for multi evaluator open lists chatting pvonreth
415 121 months ago Better memory management for Merge-and-Shrink chatting florian
396 121 months ago possibility to compile away conditional effects in-progress gabi
403 122 months ago Conditional effect support for LMcut chatting florian
424 129 months ago Avoid storing variables whose values are implied unread florian
166 131 months ago improve support of conditional effects in FF heuristic chatting malte
235 140 months ago search engines should release memory when destroyed reviewing patrik
304 156 months ago improve handling of zero-cost actions chatting malte
267 157 months ago Add symmetries pruning support chatting nirp
wish
1154 7 days ago Implement dead-end aware landmark progression chatting salome
1152 3 weeks ago Improve negated axioms calculation in default value axioms task transformation unread salome
1153 3 weeks ago exact computation of cyclic negated axioms unread salome
730 3 weeks ago tab completion chatting malte
1148 2 months ago delete src/translate/regression-tests and src/translate/tests chatting malte
1143 2 months ago Fix inheritance hierarchy of search algorithms. chatting clemens
911 2 months ago Do not store TaskProxy in Pattern(Collection)Information reviewing silvan
906 2 months ago Change Pattern(Collection)Information to transfer ownership rather than sharing it chatting silvan
1145 2 months ago Ensure that state registries of finished searches are cleared. chatting clemens
780 2 months ago merge code from saturated cost partitioning papers chatting jendrik
1141 3 months ago Improve rounding for fractional heuristic values chatting florian
1051 7 months ago new logger interface and structured log records chatting malte
1136 8 months ago Support compilations that require auxiliary actions unread gabi
371 8 months ago Wishlist for changes in the output format in-progress florian
<< previous   51..100 out of 142 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: