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
415 144 months ago Better memory management for Merge-and-Shrink chatting florian  
396 144 months ago possibility to compile away conditional effects in-progress gabi gabi
403 144 months ago Conditional effect support for LMcut chatting florian  
424 151 months ago Avoid storing variables whose values are implied unread florian  
166 153 months ago improve support of conditional effects in FF heuristic chatting malte salome
235 163 months ago search engines should release memory when destroyed reviewing patrik erez
304 179 months ago improve handling of zero-cost actions chatting malte  
267 180 months ago Add symmetries pruning support chatting nirp nirp
wish
1239 1 week ago further LM-Cut performance improvements chatting pascal.lauer pascal.lauer
1238 1 week ago clean up LM-Cut code names and documentation chatting pascal.lauer pascal.lauer
1171 1 week ago M&S SCC merge strategy: allow working on any SCC reviewing silvan silvan
1237 1 week ago Improve SoPlex performance on delete-relaxation constraints unread florian  
1236 1 week ago Unpack states only for heuristics that benefit from it unread florian  
1231 2 weeks ago Remove continue_on_fail option in iterated search chatting simon  
1233 2 weeks ago report unsolvability for bounded search algos if the bound was not used chatting simon  
1226 2 weeks ago Remove the pass_bound parameter of iterated search chatting simon  
1227 2 weeks ago Improve interplay between SearchAlgorithms, Heuristics, EvaluationContext, and StateRegistry chatting florian  
1225 2 weeks ago Present Driver Options on the Website unread Claudia  
1213 3 months ago deprecating the SAS file format in favor of JSON for a better interoperability chatting masataro  
1200 3 months ago Add paper references to component documentation chatting Claudia  
1176 3 months ago Accept less restrictive sas file format as input chatting tanja  
997 5 months ago Do not return FactProxy from State::operator[] chatting florian  
1206 5 months ago Maxint or Infinity? chatting simon  
1181 17 months ago rename FactProxy to AtomProxy and FactPair to Atom unread jendrik  
1177 18 months ago Revise exit codes for malformed input files chatting Claudia  
1178 18 months ago Check token syntax when parsing PDDL files chatting Claudia  
1172 18 months ago M&S: Integrate maximum factor/maximum SCP scoring functions (ICAPS 2024) unread silvan  
257 18 months ago Allow overlapping landmarks in the same landmark graph chatting erez  
730 19 months ago tab completion chatting malte  
1161 20 months ago Optimize IntPacker Handling of Variables with a Single Value unread davidspeck  
1154 22 months ago Implement dead-end aware landmark progression chatting salome  
1152 23 months ago Improve negated axioms calculation in default value axioms task transformation unread salome  
1153 23 months ago exact computation of cyclic negated axioms unread salome  
1143 25 months ago Fix inheritance hierarchy of search algorithms. chatting clemens  
1145 25 months ago Ensure that state registries of finished searches are cleared. chatting clemens  
780 25 months ago merge code from saturated cost partitioning papers chatting jendrik jendrik
1051 30 months ago new logger interface and structured log records chatting malte  
1136 30 months ago Support compilations that require auxiliary actions unread gabi  
371 30 months ago Wishlist for changes in the output format in-progress florian gabi
1114 30 months ago Terminology of Argument/Argument_key vs. Parameter chatting simon  
856 31 months ago clang-tidy: add checks for std::move() chatting jendrik  
1117 34 months ago let CMake check that source files exist chatting jendrik  
1100 35 months ago make names of features consistent; multiple feature namespaces chatting silvan  
1104 36 months ago Explore ways to generate reasonable and/or weak orderings chatting clemens  
1096 37 months ago Deal with cases where we currently shadow variables unread florian  
111 37 months ago Implement different ways to handle negative preconditions chatting gabi  
161 37 months ago simplify axioms chatting malte  
54 37 months ago restrict derived variables to binary domains chatting malte  
141 37 months ago regression tests for old paper experiments chatting malte  
1001 37 months ago Github Actions Wishlist chatting silvan  
<< previous   101..150 out of 170 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: