List of issues

ID Activity Title Status Creator Assigned To
823 8 months ago Clarify role of Heuristic class unread gabi  
285 8 months ago evaluate/improve A* tie-breaking w.r.t. goal states chatting malte  
751 8 months ago store g values in GEvaluator unread jendrik  
187 8 months ago Strengthen invariant synthesis chatting gabi  
811 9 months ago pass AbstractTask by const reference if ownership is not shared unread jendrik  
795 11 months ago sbMIASM: consider alternative options to imitating the shrink strategy of the heuristic when computing temporary product systems unread silvan  
19 11 months ago make official code distribution deferred malte  
779 13 months ago M&S refactoring part 2: Consider performing exact label reduction in some cases where the labels have different cost chatting silvan silvan
752 17 months ago Support for SoPlex chatting florian florian
744 17 months ago reduce f-value output for tasks with high and diverse action costs chatting jendrik  
741 18 months ago detect bottlenecks automatically unread jendrik  
702 29 months ago Compute interesting patterns faster unread florian  
334 29 months ago refactor landmark code: more distinctive separation of landmarks generation and heuristics chatting silvan  
678 31 months ago Issue with universal quantification over large set of objects chatting enricos83  
672 32 months ago Create documentation for the directory structure unread silvan  
368 32 months ago Update parents in lazy search when reopen_closed is switched off chatting mkatz  
653 34 months ago validate plan costs unread jendrik  
661 34 months ago retrieve mutex group numbers from AbstractTask chatting jendrik  
636 39 months ago Integrate P^m compilation unread gabi  
628 40 months ago Integrate mutex-based interference for stubborn sets unread martin martin
545 40 months ago Do not store values of derived variables in-progress gabi gabi
624 40 months ago Create custom build configs with ccmake through chatting florian florian
620 40 months ago add mechanism for global flags set on the command line unread malte  
609 41 months ago more logging of time in the driver script chatting malte  
590 42 months ago Factory class for operator counting constraints chatting florian florian
494 55 months ago common implementation of evaluate for multi evaluator open lists chatting pvonreth  
415 56 months ago Better memory management for Merge-and-Shrink chatting florian  
396 56 months ago possibility to compile away conditional effects in-progress gabi gabi
403 56 months ago Conditional effect support for LMcut chatting florian  
377 58 months ago Add more information about heuristics and searches to the code chatting jendrik  
424 63 months ago Avoid storing variables whose values are implied unread florian  
166 65 months ago improve support of conditional effects in FF heuristic chatting malte salome
384 71 months ago Use variables instead of predicate names for disjunctive landmarks classes chatting gabi  
235 75 months ago search engines should release memory when destroyed reviewing patrik erez
202 78 months ago explore the use of reasonable orders in the admissible heuristics and explore alternative definitions in-progress malte silvia
304 91 months ago improve handling of zero-cost actions chatting malte  
267 92 months ago Add symmetries pruning support chatting nirp nirp
98 96 months ago support derived predicates properly in our heuristics chatting malte  
225 99 months ago create capabilities interface deferred erez erez
121 102 months ago Reuse of heuristic values between different iterations of RWA* chatting malte erez
914 3 days ago M&S: when terminating with several factors left, exclude factors with only goal states reviewing silvan silvan
900 1 month ago integrate IPC 2018 portfolios reviewing jendrik jendrik
838 1 month ago reduce memory usage of causal graph heuristic cache in 64-bit builds reviewing jendrik jendrik
911 1 month ago Do not store TaskProxy in Pattern(Collection)Information reviewing silvan silvan
906 2 months ago Change Pattern(Collection)Information to transfer ownership rather than sharing it chatting silvan silvan
888 2 months ago Decide which tests should run on the buildbot chatting florian  
891 3 months ago Implement support for specifying integer variables in linear programs chatting mkatz  
780 4 months ago merge code from saturated cost partitioning papers reviewing jendrik jendrik
878 5 months ago Output information about equivalent variable-value pairs in full encoding chatting florian  
813 5 months ago Translator doesn't error on non-existent objects chatting emilkeyder  
Download as CSV
Sort on: Descending:
Group on: Descending: