List of issues

ID Activity Title Status Creator Assigned To
1060 22 months ago Make planner silent (= no output) when configuring all components to be silent chatting silvan  
1052 26 months ago replace g_log by local LogProxy objects everywhere unread silvan  
1050 26 months ago Handle landmarks from derived variables in a principled way. chatting clemens  
1046 27 months ago Split operator-counting plugin into several independent CMake plugins chatting florian  
986 31 months ago emscripten support in-progress Patrick.Speicher Patrick.Speicher
751 35 months ago store g values in GEvaluator chatting jendrik  
1022 35 months ago pattern collection generators: support commonly used options in all generators unread silvan  
980 46 months ago Implementing distance based tie breaking in search chatting mkatz  
875 47 months ago translator produces static variables chatting gnad  
121 60 months ago Reuse of heuristic values between different iterations of RWA* chatting malte erez
397 65 months ago Treat conditional effects differently in-progress gabi  
816 65 months ago docs: Use sections in wiki documentation to group similar plugins chatting gabi  
847 68 months ago reduce boilerplate for hash functions unread jendrik  
306 68 months ago Fix unintuitive/redundant command-line options chatting malte  
823 69 months ago Clarify role of Heuristic class unread gabi  
285 69 months ago evaluate/improve A* tie-breaking w.r.t. goal states chatting malte  
187 69 months ago Strengthen invariant synthesis chatting gabi  
795 72 months ago sbMIASM: consider alternative options to imitating the shrink strategy of the heuristic when computing temporary product systems unread silvan  
779 74 months ago M&S refactoring part 2: Consider performing exact label reduction in some cases where the labels have different cost chatting silvan silvan
702 90 months ago Compute interesting patterns faster unread florian  
678 92 months ago Issue with universal quantification over large set of objects chatting enricos83  
368 93 months ago Update parents in lazy search when reopen_closed is switched off chatting mkatz  
636 100 months ago Integrate P^m compilation unread gabi  
628 101 months ago Integrate mutex-based interference for stubborn sets unread martin martin
545 101 months ago Do not store values of derived variables in-progress gabi gabi
624 101 months ago Create custom build configs with ccmake through chatting florian florian
620 101 months ago add mechanism for global flags set on the command line unread malte  
609 102 months ago more logging of time in the driver script chatting malte  
590 103 months ago Factory class for operator counting constraints chatting florian florian
494 116 months ago common implementation of evaluate for multi evaluator open lists chatting pvonreth  
415 117 months ago Better memory management for Merge-and-Shrink chatting florian  
396 117 months ago possibility to compile away conditional effects in-progress gabi gabi
403 117 months ago Conditional effect support for LMcut chatting florian  
424 124 months ago Avoid storing variables whose values are implied unread florian  
166 126 months ago improve support of conditional effects in FF heuristic chatting malte salome
235 136 months ago search engines should release memory when destroyed reviewing patrik erez
304 152 months ago improve handling of zero-cost actions chatting malte  
267 153 months ago Add symmetries pruning support chatting nirp nirp
1082 1 month ago Use Options objects only in Features chatting florian  
1051 2 months ago new logger interface and structured log records chatting malte  
1136 3 months ago Support compilations that require auxiliary actions unread gabi  
371 3 months ago Wishlist for changes in the output format in-progress florian gabi
1135 3 months ago Avoid passing global arguments through recursive functions in hm landmark factory. unread clemens  
1114 3 months ago Terminology of Argument/Argument_key vs. Parameter chatting simon  
856 4 months ago clang-tidy: add checks for std::move() chatting jendrik  
1128 5 months ago Enable goal flaws in CEGAR PDBs. chatting clemens  
1124 7 months ago Improve SoPlex performance chatting florian florian
1117 7 months ago let CMake check that source files exist chatting jendrik  
1100 8 months ago make names of features consistent; multiple feature namespaces chatting silvan  
1104 9 months ago Explore ways to generate reasonable and/or weak orderings chatting clemens  
Download as CSV
Sort on: Descending:
Group on: Descending: