List of issues

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

ID Activity Title Status Creator Assigned To
feature
396 142 months ago possibility to compile away conditional effects in-progress gabi 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 salome
235 161 months ago search engines should release memory when destroyed reviewing patrik erez
304 177 months ago improve handling of zero-cost actions chatting malte  
267 178 months ago Add symmetries pruning support chatting nirp 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 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 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 gabi
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 patfer
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: