List of issues

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

ID Activity Title Status Creator Assigned To
wish
1136 10 months ago Support compilations that require auxiliary actions unread gabi  
371 10 months ago Wishlist for changes in the output format in-progress florian gabi
1135 10 months ago Avoid passing global arguments through recursive functions in hm landmark factory. unread clemens  
1114 10 months ago Terminology of Argument/Argument_key vs. Parameter chatting simon  
856 11 months ago clang-tidy: add checks for std::move() chatting jendrik  
1124 13 months ago Improve SoPlex performance chatting florian florian
1117 14 months ago let CMake check that source files exist chatting jendrik  
1100 15 months ago make names of features consistent; multiple feature namespaces chatting silvan  
1104 16 months ago Explore ways to generate reasonable and/or weak orderings chatting clemens  
1096 16 months ago Deal with cases where we currently shadow variables unread florian  
111 16 months ago Implement different ways to handle negative preconditions chatting gabi  
161 16 months ago simplify axioms chatting malte  
54 16 months ago restrict derived variables to binary domains chatting malte  
141 16 months ago regression tests for old paper experiments chatting malte  
1001 16 months ago Github Actions Wishlist chatting silvan  
800 16 months ago integrate saturated cost partitioning for landmark heuristics chatting jendrik  
1039 21 months ago Make the SAS^+ parser fail on additional operators chatting florian  
1081 22 months ago Move error handling of options to the constructors chatting florian  
1074 22 months ago Filter Causal Landmarks in Landmark Factory chatting clemens  
1020 43 months ago Add better ways of controlling memory consumption of the hillclimbing algorithm for pattern generation chatting silvan  
576 45 months ago use transition normal form for admissible potential heuristics chatting jendrik  
762 45 months ago complain about incorrect SAS file in-progress jendrik patfer
160 45 months ago landmark count heuristic should detect automatically whether preferred operators should be computed chatting malte  
997 46 months ago Do not return FactProxy from State::operator[] chatting florian  
993 46 months ago Make LandmarkGraph be one-shot constructed by LandmarkFactories chatting thomas  
257 46 months ago Allow overlapping landmarks in the same landmark graph chatting erez  
992 46 months ago Make landmark code consistent with coding conventions chatting thomas  
991 47 months ago Reuse/reserve vector for applicable operators in eager search chatting florian  
979 53 months ago Support CPLEX in release containers chatting florian  
978 53 months ago Remove axioms layers from the translator output chatting salome  
564 66 months ago reuse per-task information chatting florian  
215 67 months ago translator should loudly complain about invalid PDDL chatting erez malte
878 72 months ago Output information about equivalent variable-value pairs in full encoding chatting florian  
813 73 months ago Translator doesn't error on non-existent objects chatting emilkeyder  
497 75 months ago Canonicalize the order of effects, conditions, mutexes, etc. chatting gabi  
808 77 months ago initial heuristic value vs. progress chatting manuel manuel
760 81 months ago Non-deterministic behavior of AdaptiveQueue chatting manuel manuel
566 107 months ago Nicer error reporting in driver script chatting florian  
579 111 months ago Find suitable default values for caching heuristic estimates unread salome  
502 118 months ago Do not create duplicate actions chatting gabi  
296 123 months ago translator: performance issue with universally quantified effects chatting malte  
299 123 months ago simplify conditional effects in translator chatting malte  
333 123 months ago Translate fails on nested quantification chatting rpgoldman malte
191 133 months ago make search code more cost-sensitive unread malte  
<< previous   101..144 out of 144  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: