List of issues

ID Activity Title Status Creator Assigned To
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 silvan
906 4 months ago Change Pattern(Collection)Information to transfer ownership rather than sharing it chatting silvan 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 8 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 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 16 months ago Wishlist for changes in the output format in-progress florian gabi
1114 16 months ago Terminology of Argument/Argument_key vs. Parameter chatting simon  
856 17 months ago clang-tidy: add checks for std::move() chatting jendrik  
1124 20 months ago Improve SoPlex performance chatting florian florian
1117 20 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 22 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 51 months ago use transition normal form for admissible potential heuristics chatting jendrik  
762 51 months ago complain about incorrect SAS file in-progress jendrik patfer
160 51 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 59 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 manuel
760 88 months ago Non-deterministic behavior of AdaptiveQueue chatting manuel manuel
566 114 months ago Nicer error reporting in driver script chatting florian  
579 117 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: