List of issues

ID Activity Title Status Creator
wish
1176 4 months ago Accept less restrictive sas file format as input chatting tanja
911 4 months ago Do not store TaskProxy in Pattern(Collection)Information reviewing silvan
906 4 months ago Change Pattern(Collection)Information to transfer ownership rather than sharing it chatting silvan
1172 4 months ago M&S: Integrate maximum factor/maximum SCP scoring functions (ICAPS 2024) unread silvan
257 5 months ago Allow overlapping landmarks in the same landmark graph chatting erez
1162 5 months ago Monolithic design of AbstractTask chatting tkloessner
1164 5 months ago Make destructors responsible for statistic reporting chatting masataro
730 5 months ago tab completion chatting malte
1161 6 months ago Optimize IntPacker Handling of Variables with a Single Value unread davidspeck
1154 9 months ago Implement dead-end aware landmark progression chatting salome
1152 9 months ago Improve negated axioms calculation in default value axioms task transformation unread salome
1153 9 months ago exact computation of cyclic negated axioms unread salome
1148 11 months ago delete src/translate/regression-tests and src/translate/tests chatting malte
1143 11 months ago Fix inheritance hierarchy of search algorithms. chatting clemens
1145 11 months ago Ensure that state registries of finished searches are cleared. chatting clemens
780 11 months ago merge code from saturated cost partitioning papers chatting jendrik
1141 11 months ago Improve rounding for fractional heuristic values chatting florian
1051 16 months ago new logger interface and structured log records chatting malte
1136 16 months ago Support compilations that require auxiliary actions unread gabi
371 17 months ago Wishlist for changes in the output format in-progress florian
1114 17 months ago Terminology of Argument/Argument_key vs. Parameter chatting simon
856 18 months ago clang-tidy: add checks for std::move() chatting jendrik
1124 20 months ago Improve SoPlex performance chatting florian
1117 21 months ago let CMake check that source files exist chatting jendrik
1100 22 months ago make names of features consistent; multiple feature namespaces chatting silvan
1104 23 months ago Explore ways to generate reasonable and/or weak orderings chatting clemens
1096 23 months ago Deal with cases where we currently shadow variables unread florian
111 23 months ago Implement different ways to handle negative preconditions chatting gabi
161 23 months ago simplify axioms chatting malte
54 23 months ago restrict derived variables to binary domains chatting malte
141 23 months ago regression tests for old paper experiments chatting malte
1001 23 months ago Github Actions Wishlist chatting silvan
800 23 months ago integrate saturated cost partitioning for landmark heuristics chatting jendrik
1039 28 months ago Make the SAS^+ parser fail on additional operators chatting florian
1020 50 months ago Add better ways of controlling memory consumption of the hillclimbing algorithm for pattern generation chatting silvan
576 52 months ago use transition normal form for admissible potential heuristics chatting jendrik
762 52 months ago complain about incorrect SAS file in-progress jendrik
160 52 months ago landmark count heuristic should detect automatically whether preferred operators should be computed chatting malte
993 53 months ago Make LandmarkGraph be one-shot constructed by LandmarkFactories chatting thomas
991 53 months ago Reuse/reserve vector for applicable operators in eager search chatting florian
979 59 months ago Support CPLEX in release containers chatting florian
978 60 months ago Remove axioms layers from the translator output chatting salome
564 73 months ago reuse per-task information chatting florian
878 79 months ago Output information about equivalent variable-value pairs in full encoding chatting florian
497 82 months ago Canonicalize the order of effects, conditions, mutexes, etc. chatting gabi
808 84 months ago initial heuristic value vs. progress chatting manuel
760 88 months ago Non-deterministic behavior of AdaptiveQueue chatting manuel
566 114 months ago Nicer error reporting in driver script chatting florian
579 118 months ago Find suitable default values for caching heuristic estimates unread salome
502 125 months ago Do not create duplicate actions chatting gabi
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: