List of issues

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

ID Activity Title Status Creator
wish
906 2 weeks ago Change Pattern(Collection)Information to transfer ownership rather than sharing it chatting silvan
992 2 weeks ago Make landmark code more readable. in-progress thomas
1172 2 weeks ago M&S: Integrate maximum factor/maximum SCP scoring functions (ICAPS 2024) unread silvan
257 3 weeks ago Allow overlapping landmarks in the same landmark graph chatting erez
1162 4 weeks ago Monolithic design of AbstractTask chatting tkloessner
1164 1 month ago Make destructors responsible for statistic reporting chatting masataro
730 1 month ago tab completion chatting malte
1161 2 months ago Optimize IntPacker Handling of Variables with a Single Value unread davidspeck
1154 4 months ago Implement dead-end aware landmark progression chatting salome
1152 5 months ago Improve negated axioms calculation in default value axioms task transformation unread salome
1153 5 months ago exact computation of cyclic negated axioms unread salome
1148 6 months ago delete src/translate/regression-tests and src/translate/tests chatting malte
1143 7 months ago Fix inheritance hierarchy of search algorithms. chatting clemens
1145 7 months ago Ensure that state registries of finished searches are cleared. chatting clemens
780 7 months ago merge code from saturated cost partitioning papers chatting jendrik
1141 7 months ago Improve rounding for fractional heuristic values chatting florian
1051 12 months ago new logger interface and structured log records chatting malte
1136 12 months ago Support compilations that require auxiliary actions unread gabi
371 12 months ago Wishlist for changes in the output format in-progress florian
1135 12 months ago Avoid passing global arguments through recursive functions in hm landmark factory. unread clemens
1114 12 months ago Terminology of Argument/Argument_key vs. Parameter chatting simon
856 13 months ago clang-tidy: add checks for std::move() chatting jendrik
1124 16 months ago Improve SoPlex performance chatting florian
1117 16 months ago let CMake check that source files exist chatting jendrik
1100 18 months ago make names of features consistent; multiple feature namespaces chatting silvan
1104 18 months ago Explore ways to generate reasonable and/or weak orderings chatting clemens
1096 19 months ago Deal with cases where we currently shadow variables unread florian
111 19 months ago Implement different ways to handle negative preconditions chatting gabi
161 19 months ago simplify axioms chatting malte
54 19 months ago restrict derived variables to binary domains chatting malte
141 19 months ago regression tests for old paper experiments chatting malte
1001 19 months ago Github Actions Wishlist chatting silvan
800 19 months ago integrate saturated cost partitioning for landmark heuristics chatting jendrik
1039 24 months ago Make the SAS^+ parser fail on additional operators chatting florian
1020 46 months ago Add better ways of controlling memory consumption of the hillclimbing algorithm for pattern generation chatting silvan
576 47 months ago use transition normal form for admissible potential heuristics chatting jendrik
762 47 months ago complain about incorrect SAS file in-progress jendrik
160 47 months ago landmark count heuristic should detect automatically whether preferred operators should be computed chatting malte
997 49 months ago Do not return FactProxy from State::operator[] chatting florian
993 49 months ago Make LandmarkGraph be one-shot constructed by LandmarkFactories chatting thomas
991 49 months ago Reuse/reserve vector for applicable operators in eager search chatting florian
979 55 months ago Support CPLEX in release containers chatting florian
978 55 months ago Remove axioms layers from the translator output chatting salome
564 69 months ago reuse per-task information chatting florian
215 69 months ago translator should loudly complain about invalid PDDL chatting erez
878 75 months ago Output information about equivalent variable-value pairs in full encoding chatting florian
813 75 months ago Translator doesn't error on non-existent objects chatting emilkeyder
497 78 months ago Canonicalize the order of effects, conditions, mutexes, etc. chatting gabi
808 80 months ago initial heuristic value vs. progress chatting manuel
760 84 months ago Non-deterministic behavior of AdaptiveQueue chatting manuel
<< previous   101..150 out of 157 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: