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
wish
1153 4 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 6 months ago Fix inheritance hierarchy of search algorithms. chatting clemens  
911 6 months ago Do not store TaskProxy in Pattern(Collection)Information reviewing silvan silvan
906 6 months ago Change Pattern(Collection)Information to transfer ownership rather than sharing it chatting silvan silvan
1145 6 months ago Ensure that state registries of finished searches are cleared. chatting clemens  
780 6 months ago merge code from saturated cost partitioning papers chatting jendrik jendrik
1141 6 months ago Improve rounding for fractional heuristic values chatting florian  
1051 11 months ago new logger interface and structured log records chatting malte  
1136 11 months ago Support compilations that require auxiliary actions unread gabi  
371 11 months ago Wishlist for changes in the output format in-progress florian gabi
1135 11 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 12 months ago clang-tidy: add checks for std::move() chatting jendrik  
1124 15 months ago Improve SoPlex performance chatting florian florian
1117 15 months ago let CMake check that source files exist chatting jendrik  
1100 17 months ago make names of features consistent; multiple feature namespaces chatting silvan  
1104 17 months ago Explore ways to generate reasonable and/or weak orderings chatting clemens  
1096 18 months ago Deal with cases where we currently shadow variables unread florian  
111 18 months ago Implement different ways to handle negative preconditions chatting gabi  
161 18 months ago simplify axioms chatting malte  
54 18 months ago restrict derived variables to binary domains chatting malte  
141 18 months ago regression tests for old paper experiments chatting malte  
1001 18 months ago Github Actions Wishlist chatting silvan  
800 18 months ago integrate saturated cost partitioning for landmark heuristics chatting jendrik  
1039 23 months ago Make the SAS^+ parser fail on additional operators chatting florian  
1081 23 months ago Move error handling of options to the constructors chatting florian  
1020 45 months ago Add better ways of controlling memory consumption of the hillclimbing algorithm for pattern generation chatting silvan  
576 46 months ago use transition normal form for admissible potential heuristics chatting jendrik  
762 46 months ago complain about incorrect SAS file in-progress jendrik patfer
160 46 months ago landmark count heuristic should detect automatically whether preferred operators should be computed chatting malte  
997 48 months ago Do not return FactProxy from State::operator[] chatting florian  
993 48 months ago Make LandmarkGraph be one-shot constructed by LandmarkFactories chatting thomas  
992 48 months ago Make landmark code consistent with coding conventions chatting thomas  
991 48 months ago Reuse/reserve vector for applicable operators in eager search chatting florian  
979 54 months ago Support CPLEX in release containers chatting florian  
978 54 months ago Remove axioms layers from the translator output chatting salome  
564 68 months ago reuse per-task information chatting florian  
215 68 months ago translator should loudly complain about invalid PDDL chatting erez malte
878 74 months ago Output information about equivalent variable-value pairs in full encoding chatting florian  
813 74 months ago Translator doesn't error on non-existent objects chatting emilkeyder  
497 77 months ago Canonicalize the order of effects, conditions, mutexes, etc. chatting gabi  
808 79 months ago initial heuristic value vs. progress chatting manuel manuel
760 83 months ago Non-deterministic behavior of AdaptiveQueue chatting manuel manuel
566 109 months ago Nicer error reporting in driver script chatting florian  
579 112 months ago Find suitable default values for caching heuristic estimates unread salome  
502 120 months ago Do not create duplicate actions chatting gabi  
296 125 months ago translator: performance issue with universally quantified effects chatting malte  
299 125 months ago simplify conditional effects in translator chatting malte  
333 125 months ago Translate fails on nested quantification chatting rpgoldman malte
<< previous   101..150 out of 151 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: