List of issues

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

Priority ID Creation Activity Actor Keyword Title Status Creator Assigned To
bug 162 182 months ago 178 months ago malte 1.0 merge-and-shrink bug (assertion fails) resolved malte moritz
bug 163 182 months ago 173 months ago malte 1.0 grab bag issue: old bug report for the translator resolved malte malte
bug 164 182 months ago 167 months ago malte   :requirements declarations in problem files are not supported resolved malte malte
bug 165 182 months ago 10 months ago gabi translator performance issue in translator (with negative preconditions code?) resolved malte  
feature 166 182 months ago 145 months ago gabi   improve support of conditional effects in FF heuristic chatting malte salome
feature 167 182 months ago 182 months ago malte   FF Heuristic is not Deterministic resolved erez erez
bug 168 182 months ago 174 months ago malte 1.0 lm_search method crashes resolved malte erez
wish 169 182 months ago 29 months ago malte translator would be nice to find more invariants in trucks resolved malte  
urgent 170 182 months ago 182 months ago malte   output plans according to IPC resolved erez erez
wish 171 182 months ago 138 months ago malte   support predicates that have the same name as types resolved erez malte
feature 172 182 months ago 182 months ago malte   Make should compile a short/char state_var_t version resolved erez erez
urgent 173 182 months ago 181 months ago malte   action cost support resolved malte malte
urgent 174 182 months ago 181 months ago malte   action cost support for relaxation heuristics resolved malte malte
urgent 175 182 months ago 181 months ago malte   Implement LAMA-style action cost support for search algorithms resolved erez erez
urgent 176 182 months ago 182 months ago malte   Better than optimal plans? resolved erez  
bug 177 182 months ago 182 months ago malte   OptionParser: Nothing is Parsed after preferred=() resolved erez malte
bug 178 182 months ago 182 months ago malte   When using the LAMA/FF Proxy, search leads to invalid plans resolved erez erez
bug 179 182 months ago 182 months ago malte   Translator chokes on nested preconditions resolved silvia malte
wish 180 182 months ago 181 months ago malte   Automate IPC submission process resolved erez erez
feature 181 182 months ago 181 months ago malte   Implement max of several heuristics resolved erez malte
bug 182 181 months ago 117 months ago jendrik 1.0 strange output when using sum evaluators resolved malte jendrik
bug 183 181 months ago 181 months ago malte   eager search expands dead end states resolved malte erez
wish 184 181 months ago 29 months ago malte   there should be output for the actual evaluators used by the open queue resolved malte  
bug 185 181 months ago 151 months ago gabi   eager search should use more suitable data structure for preferredness tests resolved malte  
urgent 186 181 months ago 181 months ago malte   action cost support for causal graph and context-enhanced additive heuristics resolved malte malte
feature 187 181 months ago 88 months ago jendrik translator Strengthen invariant synthesis chatting gabi  
feature 188 181 months ago 181 months ago gabi   Evaluate impact of new invariant synthesis on m&s resolved gabi gabi
feature 189 181 months ago 181 months ago malte   Refactor invariant synthesis resolved gabi gabi
wish 190 181 months ago 107 months ago jendrik   simplify cost_type settings for landmark-related configurations resolved malte  
wish 191 181 months ago 146 months ago malte   make search code more cost-sensitive unread malte  
feature 192 181 months ago 181 months ago malte   action cost support for blind heuristic resolved malte malte
bug 193 181 months ago 174 months ago malte 1.0 action cost support for merge-and-shrink heuristic resolved malte malte
bug 194 181 months ago 181 months ago jendrik   missing options in ./downward_experiments.py --help resolved malte jendrik
bug 195 181 months ago 181 months ago jendrik   new_scripts need to be adapted for new IPC code layout resolved malte jendrik
bug 196 181 months ago 181 months ago jendrik   error when calling downward_reports.py resolved malte jendrik
feature 197 181 months ago 181 months ago jendrik   run validator on experiments resolved malte jendrik
bug 198 181 months ago 88 months ago salome 1.0 issues when using multiple heuristics resolved malte salome
feature 199 181 months ago 174 months ago jendrik   Print search time after each solution in iterative search resolved silvia jendrik
wish 200 181 months ago 29 months ago malte   reference qualities to compute the IPC-2008 score resolved malte  
bug 201 181 months ago 181 months ago malte   wrong logic in iterated search resolved malte erez
feature 202 181 months ago 28 months ago clemens   explore the use of reasonable orders in the admissible heuristics and explore alternative definitions resolved malte silvia
wish 203 181 months ago 181 months ago malte   Merge Landmarks from Different Methods resolved erez erez
feature 204 181 months ago 181 months ago malte   infer additional "!="-constraints to strenghten the invariant synthesis resolved gabi gabi
urgent 205 181 months ago 181 months ago malte   script that detects unit cost domains resolved malte erez
urgent 206 181 months ago 181 months ago gabi   alternation should be less strict with dead-ends resolved malte malte
meta 207 181 months ago 57 months ago jendrik   revise search code chatting malte  
wish 208 181 months ago 166 months ago jendrik   avoid absolute paths in gkigrid scripts resolved malte jendrik
wish 209 181 months ago 136 months ago gabi translator measure memory usage in translator and preprocess resolved malte  
wish 210 181 months ago 136 months ago gabi translator investigate memory usage of translator resolved malte  
bug 211 181 months ago 174 months ago malte 1.0 M&S refactoring resolved malte malte
<< previous   151..200 out of 1151 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: