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
1063 27 months ago Compute indirect subtype relationship more efficiently chatting mkatz  
1060 29 months ago Make planner silent (= no output) when configuring all components to be silent chatting silvan  
1052 33 months ago replace g_log by local LogProxy objects everywhere unread silvan  
1050 33 months ago Handle landmarks from derived variables in a principled way. chatting clemens  
1046 34 months ago Split operator-counting plugin into several independent CMake plugins chatting florian  
986 38 months ago emscripten support in-progress Patrick.Speicher Patrick.Speicher
751 41 months ago store g values in GEvaluator chatting jendrik  
1022 42 months ago pattern collection generators: support commonly used options in all generators unread silvan  
980 53 months ago Implementing distance based tie breaking in search chatting mkatz  
875 53 months ago translator produces static variables chatting gnad  
121 67 months ago Reuse of heuristic values between different iterations of RWA* chatting malte erez
397 72 months ago Treat conditional effects differently in-progress gabi  
816 72 months ago docs: Use sections in wiki documentation to group similar plugins chatting gabi  
847 75 months ago reduce boilerplate for hash functions unread jendrik  
306 75 months ago Fix unintuitive/redundant command-line options chatting malte  
823 75 months ago Clarify role of Heuristic class unread gabi  
285 75 months ago evaluate/improve A* tie-breaking w.r.t. goal states chatting malte  
187 75 months ago Strengthen invariant synthesis chatting gabi  
795 79 months ago sbMIASM: consider alternative options to imitating the shrink strategy of the heuristic when computing temporary product systems unread silvan  
779 80 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 96 months ago Compute interesting patterns faster unread florian  
678 99 months ago Issue with universal quantification over large set of objects chatting enricos83  
368 100 months ago Update parents in lazy search when reopen_closed is switched off chatting mkatz  
628 107 months ago Integrate mutex-based interference for stubborn sets unread martin martin
545 108 months ago Do not store values of derived variables in-progress gabi gabi
624 108 months ago Create custom build configs with ccmake through build.py chatting florian florian
620 108 months ago add mechanism for global flags set on the command line unread malte  
609 109 months ago more logging of time in the driver script chatting malte  
590 110 months ago Factory class for operator counting constraints chatting florian florian
494 123 months ago common implementation of evaluate for multi evaluator open lists chatting pvonreth  
415 123 months ago Better memory management for Merge-and-Shrink chatting florian  
396 123 months ago possibility to compile away conditional effects in-progress gabi gabi
403 124 months ago Conditional effect support for LMcut chatting florian  
424 131 months ago Avoid storing variables whose values are implied unread florian  
166 133 months ago improve support of conditional effects in FF heuristic chatting malte salome
235 142 months ago search engines should release memory when destroyed reviewing patrik erez
304 158 months ago improve handling of zero-cost actions chatting malte  
267 159 months ago Add symmetries pruning support chatting nirp nirp
wish
1154 2 months ago Implement dead-end aware landmark progression chatting salome  
1152 2 months ago Improve negated axioms calculation in default value axioms task transformation unread salome  
1153 2 months ago exact computation of cyclic negated axioms unread salome  
730 2 months ago tab completion chatting malte  
1148 4 months ago delete src/translate/regression-tests and src/translate/tests chatting malte  
1143 4 months ago Fix inheritance hierarchy of search algorithms. chatting clemens  
911 4 months ago Do not store TaskProxy in Pattern(Collection)Information reviewing silvan silvan
906 4 months ago Change Pattern(Collection)Information to transfer ownership rather than sharing it chatting silvan silvan
1145 4 months ago Ensure that state registries of finished searches are cleared. chatting clemens  
780 4 months ago merge code from saturated cost partitioning papers chatting jendrik jendrik
1141 4 months ago Improve rounding for fractional heuristic values chatting florian  
1051 9 months ago new logger interface and structured log records chatting malte  
<< previous   51..100 out of 144 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: