List of issues - Show Unassigned

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

ID Activity Title Status Creator
feature
396 142 months ago possibility to compile away conditional effects in-progress gabi
403 142 months ago Conditional effect support for LMcut chatting florian
424 149 months ago Avoid storing variables whose values are implied unread florian
166 151 months ago improve support of conditional effects in FF heuristic chatting malte
235 161 months ago search engines should release memory when destroyed reviewing patrik
304 177 months ago improve handling of zero-cost actions chatting malte
267 178 months ago Add symmetries pruning support chatting nirp
wish
1213 1 month ago deprecating the SAS file format in favor of JSON for a better interoperability chatting masataro
1200 1 month ago Add paper references to component documentation chatting Claudia
1176 1 month ago Accept less restrictive sas file format as input chatting tanja
997 3 months ago Do not return FactProxy from State::operator[] chatting florian
1206 3 months ago Maxint or Infinity? chatting simon
1171 7 months ago M&S SCC merge strategy: allow working on any SCC reviewing silvan
1181 15 months ago rename FactProxy to AtomProxy and FactPair to Atom unread jendrik
1177 16 months ago Revise exit codes for malformed input files chatting Claudia
1178 16 months ago Check token syntax when parsing PDDL files chatting Claudia
1172 16 months ago M&S: Integrate maximum factor/maximum SCP scoring functions (ICAPS 2024) unread silvan
257 16 months ago Allow overlapping landmarks in the same landmark graph chatting erez
730 17 months ago tab completion chatting malte
1161 18 months ago Optimize IntPacker Handling of Variables with a Single Value unread davidspeck
1154 20 months ago Implement dead-end aware landmark progression chatting salome
1152 21 months ago Improve negated axioms calculation in default value axioms task transformation unread salome
1153 21 months ago exact computation of cyclic negated axioms unread salome
1143 23 months ago Fix inheritance hierarchy of search algorithms. chatting clemens
1145 23 months ago Ensure that state registries of finished searches are cleared. chatting clemens
780 23 months ago merge code from saturated cost partitioning papers chatting jendrik
1051 27 months ago new logger interface and structured log records chatting malte
1136 28 months ago Support compilations that require auxiliary actions unread gabi
371 28 months ago Wishlist for changes in the output format in-progress florian
1114 28 months ago Terminology of Argument/Argument_key vs. Parameter chatting simon
856 29 months ago clang-tidy: add checks for std::move() chatting jendrik
1117 32 months ago let CMake check that source files exist chatting jendrik
1100 33 months ago make names of features consistent; multiple feature namespaces chatting silvan
1104 34 months ago Explore ways to generate reasonable and/or weak orderings chatting clemens
1096 35 months ago Deal with cases where we currently shadow variables unread florian
111 35 months ago Implement different ways to handle negative preconditions chatting gabi
161 35 months ago simplify axioms chatting malte
54 35 months ago restrict derived variables to binary domains chatting malte
141 35 months ago regression tests for old paper experiments chatting malte
1001 35 months ago Github Actions Wishlist chatting silvan
800 35 months ago integrate saturated cost partitioning for landmark heuristics chatting jendrik
1039 40 months ago Make the SAS^+ parser fail on additional operators chatting florian
1020 62 months ago Add better ways of controlling memory consumption of the hillclimbing algorithm for pattern generation chatting silvan
576 63 months ago use transition normal form for admissible potential heuristics chatting jendrik
762 63 months ago complain about incorrect SAS file in-progress jendrik
160 63 months ago landmark count heuristic should detect automatically whether preferred operators should be computed chatting malte
993 65 months ago Make LandmarkGraph be one-shot constructed by LandmarkFactories chatting thomas
991 65 months ago Reuse/reserve vector for applicable operators in eager search chatting florian
979 71 months ago Support CPLEX in release containers chatting florian
978 71 months ago Remove axioms layers from the translator output chatting salome
<< previous   101..150 out of 161 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: