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