List of issues

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