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
wish 1144 20 months ago 20 months ago florian   Change representation of string parameters in documentation. resolved clemens  
wish 1145 20 months ago 20 months ago clemens   Ensure that state registries of finished searches are cleared. chatting clemens  
feature 1146 20 months ago 7 months ago malte   Validate output.sas chatting tanja  
wish 1147 20 months ago 20 months ago florian   Use pathlib in driver resolved florian florian
wish 1148 20 months ago 20 months ago malte translator delete src/translate/regression-tests and src/translate/tests chatting malte  
feature 1149 20 months ago 20 months ago florian   Tab completion for the --search string unread florian  
bug 1150 19 months ago 18 months ago florian   Duplicate constraint entries in potential optimizer resolved florian florian
bug 1151 18 months ago 17 months ago florian   No parse error when missing or incorrect search algorithm, just heuristic resolved mpozo  
wish 1152 18 months ago 18 months ago haz   Improve negated axioms calculation in default value axioms task transformation unread salome  
wish 1153 18 months ago 18 months ago simon   exact computation of cyclic negated axioms unread salome  
wish 1154 18 months ago 17 months ago salome   Implement dead-end aware landmark progression chatting salome  
bug 1155 17 months ago 17 months ago salome   Infinite loop in DefaultValueAxiomsTask? resolved elliot  
wish 1156 17 months ago 17 months ago florian   Optimal heuristics that support conditional effects resolved carladavesa  
feature 1157 17 months ago 14 months ago masataro   Novelty implementation (w<=2) chatting masataro  
bug 1158 17 months ago 15 months ago gabi translator Sorting SASTask components after variable reordering chatting mkatz  
feature 1159 15 months ago 5 months ago florian   Get rid of g_axiom_evaluators chatting florian  
feature 1160 15 months ago 15 months ago gabi   Support trivially solvable and unsolvable tasks in search component unread gabi  
wish 1161 15 months ago 15 months ago davidspeck   Optimize IntPacker Handling of Variables with a Single Value unread davidspeck  
wish 1162 14 months ago 3 months ago malte   Monolithic design of AbstractTask resolved tkloessner  
feature 1163 14 months ago 8 months ago florian   Show code revision that was used to compile the code resolved florian  
feature 1164 14 months ago 1 week ago malte   Ensure statistic reporting on OOM chatting masataro  
wish 1165 14 months ago 13 months ago clemens   Get rid of assumption that landmarks don't overlap outside of factories. resolved clemens  
feature 1166 14 months ago 14 months ago masataro   Kuroiwa's Biased Exploration code base ported to modern fast downward unread masataro  
feature 1167 14 months ago 14 months ago masataro   More quality-of-life improvements: Exp/Eval/Gen limits, and soft limits unread masataro  
feature 1168 14 months ago 14 months ago masataro   More quality-of-life improvements: Hash and printers for collections unread masataro  
feature 1169 14 months ago 14 months ago masataro   Bitsets / Dynamic Bitset enhancements unread masataro  
wish 1170 13 months ago 13 months ago gabi   M&S SCC merge strategy: remove option to use a merge tree for merging factors within a cluster resolved silvan silvan
wish 1171 13 months ago 4 months ago malte   M&S SCC merge strategy: allow working on any SCC reviewing silvan silvan
wish 1172 13 months ago 13 months ago silvan   M&S: Integrate maximum factor/maximum SCP scoring functions (ICAPS 2024) unread silvan  
urgent 1173 13 months ago 13 months ago davidspeck   Wrong Parameter Order for MergeAndShrinkAlgorithm resolved davidspeck davidspeck
feature 1174 13 months ago 12 months ago gabi   Documentation für specific versions resolved gabi  
bug 1175 13 months ago 13 months ago malte   "vagrant up" fails, complaining about missing method "File.exists?" resolved malte malte
wish 1176 13 months ago 13 months ago malte   Accept less restrictive sas file format as input chatting tanja  
wish 1177 13 months ago 13 months ago malte   Revise exit codes for malformed input files chatting Claudia  
wish 1178 13 months ago 13 months ago malte   Check token syntax when parsing PDDL files chatting Claudia  
feature 1179 13 months ago 13 months ago davidspeck   Avoid Hardcoding Bugfix Releases in Vagrantfile resolved davidspeck  
bug 1180 13 months ago 13 months ago malte translator Translator option --relaxed should not make solvable tasks unsolvable chatting florian  
wish 1181 13 months ago 13 months ago clemens   rename FactProxy to AtomProxy and FactPair to Atom unread jendrik  
wish 1182 12 months ago 12 months ago jendrik   use std::make_unique instead of utils::make_unique_ptr resolved jendrik jendrik
bug 1183 12 months ago 11 months ago clemens   Compute landmark preconditions accurately in RHW. resolved clemens  
feature 1184 10 months ago 5 months ago malte   Adding the option to keep noop operators resolved haz malte
feature 1185 8 months ago 7 months ago gabi translator Make translator a python package resolved gabi  
wish 1186 8 months ago 7 months ago davidspeck   Refactor EagerSearch::step() into smaller helper functions resolved davidspeck  
bug 1187 8 months ago 8 months ago davidspeck   Failing Assertion in Enforced Hill Climbing on Trivial Problem in-progress davidspeck  
feature 1188 8 months ago 8 months ago gabi   support local build of website resolved gabi gabi
wish 1189 8 months ago 7 months ago remo   Check style with clang-format instead of uncrustify resolved remo  
feature 1190 7 months ago 7 months ago gabi   Improve documentation on website reviewing gabi  
wish 1191 6 months ago 5 months ago silvan   M&S refactoring: have two variants of select_merge in MergeSelector resolved silvan silvan
bug 1192 6 months ago 6 months ago silvan   M&S: fix default value assignment in MergeScoringFunctionMIASM resolved silvan silvan
wish 1193 4 months ago 1 month ago remo   Update Documentation on Coding Conventions resolved clemens  
<< previous   1101..1150 out of 1169 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: