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