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
403 143 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 162 months ago search engines should release memory when destroyed reviewing patrik erez
304 178 months ago improve handling of zero-cost actions chatting malte  
267 179 months ago Add symmetries pruning support chatting nirp nirp
wish
1213 2 months ago deprecating the SAS file format in favor of JSON for a better interoperability chatting masataro  
1200 2 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 4 months ago Do not return FactProxy from State::operator[] chatting florian  
1206 5 months ago Maxint or Infinity? chatting simon  
1171 8 months ago M&S SCC merge strategy: allow working on any SCC reviewing silvan silvan
1181 16 months ago rename FactProxy to AtomProxy and FactPair to Atom unread jendrik  
1177 17 months ago Revise exit codes for malformed input files chatting Claudia  
1178 17 months ago Check token syntax when parsing PDDL files chatting Claudia  
1172 17 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 18 months ago tab completion chatting malte  
1161 19 months ago Optimize IntPacker Handling of Variables with a Single Value unread davidspeck  
1154 21 months ago Implement dead-end aware landmark progression chatting salome  
1152 22 months ago Improve negated axioms calculation in default value axioms task transformation unread salome  
1153 22 months ago exact computation of cyclic negated axioms unread salome  
1143 24 months ago Fix inheritance hierarchy of search algorithms. chatting clemens  
1145 24 months ago Ensure that state registries of finished searches are cleared. chatting clemens  
780 24 months ago merge code from saturated cost partitioning papers chatting jendrik jendrik
1051 29 months ago new logger interface and structured log records chatting malte  
1136 29 months ago Support compilations that require auxiliary actions unread gabi  
371 29 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 30 months ago clang-tidy: add checks for std::move() chatting jendrik  
1117 33 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 35 months ago Explore ways to generate reasonable and/or weak orderings chatting clemens  
1096 36 months ago Deal with cases where we currently shadow variables unread florian  
111 36 months ago Implement different ways to handle negative preconditions chatting gabi  
161 36 months ago simplify axioms chatting malte  
54 36 months ago restrict derived variables to binary domains chatting malte  
141 36 months ago regression tests for old paper experiments chatting malte  
1001 36 months ago Github Actions Wishlist chatting silvan  
800 36 months ago integrate saturated cost partitioning for landmark heuristics chatting jendrik  
1020 63 months ago Add better ways of controlling memory consumption of the hillclimbing algorithm for pattern generation chatting silvan  
576 64 months ago use transition normal form for admissible potential heuristics chatting jendrik  
762 64 months ago complain about incorrect SAS file in-progress jendrik patfer
160 64 months ago landmark count heuristic should detect automatically whether preferred operators should be computed chatting malte  
993 66 months ago Make LandmarkGraph be one-shot constructed by LandmarkFactories chatting thomas  
991 66 months ago Reuse/reserve vector for applicable operators in eager search chatting florian  
979 72 months ago Support CPLEX in release containers chatting florian  
978 72 months ago Remove axioms layers from the translator output chatting salome  
564 86 months ago reuse per-task information chatting florian  
497 95 months ago Canonicalize the order of effects, conditions, mutexes, etc. chatting gabi  
<< previous   101..150 out of 159 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: