List of issues

ID Activity Title Status Creator Assigned To
feature
668 5 months ago Merge-and-Shrink: Integrate dynamic MIASM merge strategy reviewing silvan silvan
285 5 months ago evalute/improve A* tie-breaking w.r.t. goal states chatting malte  
708 7 months ago enable Mac OS X buildbot in-progress jendrik  
702 11 months ago Compute interesting patterns faster unread florian  
589 11 months ago Make statistics output easier to parse reviewing florian jendrik
699 11 months ago Use task interface for IntPacker unread florian florian
334 11 months ago refactor landmark code: more distinctive separation of landmarks generation and heuristics chatting silvan  
695 11 months ago space improvement for LM-Count in-progress jendrik  
686 13 months ago handle task transformations in path-dependent heuristics unread jendrik  
678 14 months ago Issue with universal quantification over large set of objects chatting enricos83  
672 15 months ago Create documentation for the directory structure unread silvan  
311 15 months ago create "eager_wastar" analog of "lazy_wastar" chatting malte salome
368 15 months ago Update parents in lazy search when reopen_closed is switched off chatting mkatz  
653 16 months ago validate plan costs unread jendrik  
661 17 months ago retrieve mutex group numbers from AbstractTask chatting jendrik  
646 20 months ago Parent evaluation context in-progress manuel manuel
636 22 months ago Integrate P^m compilation unread gabi  
628 22 months ago Integrate mutex-based interference for stubborn sets unread martin martin
545 23 months ago Do not store values of derived variables in-progress gabi gabi
624 23 months ago Create custom build configs with ccmake through build.py chatting florian florian
620 23 months ago add mechanism for global flags set on the command line unread malte  
609 24 months ago more logging of time in the driver script chatting malte  
450 25 months ago negated axiom rules cause combinatorial explosion chatting malte  
590 25 months ago Factory class for operator counting constraints chatting florian florian
526 31 months ago use shared_ptr for Heuristics in-progress pvonreth pvonreth
494 37 months ago common implementation of evaluate for multi evaluator open lists chatting pvonreth  
187 38 months ago Strengthen invariant synthesis chatting gabi gabi
7 38 months ago get rid of unnecessary -1 -> val transitions in the translator output chatting malte malte
415 38 months ago Better memory management for Merge-and-Shrink chatting florian  
396 38 months ago possibility to compile away conditional effects in-progress gabi gabi
403 38 months ago Conditional effect support for LMcut chatting florian  
377 41 months ago Add more information about heuristics and searches to the code chatting jendrik  
424 46 months ago Avoid storing variables whose values are implied unread florian  
397 47 months ago Treat conditional effects differently in-progress gabi gabi
166 48 months ago improve support of conditional effects in FF heuristic chatting malte salome
384 54 months ago Use variables instead of predicate names for disjunctive landmarks classes chatting gabi  
235 57 months ago search engines should release memory when destroyed reviewing patrik erez
202 61 months ago explore the use of reasonable orders in the admissible heuristics and explore alternative definitions in-progress malte silvia
306 73 months ago Fix unintuitive/redundant command-line options chatting malte  
304 73 months ago improve handling of zero-cost actions chatting malte  
267 74 months ago Add symmetries pruning support chatting nirp nirp
98 78 months ago support derived predicates properly in our heuristics chatting malte  
19 81 months ago make official code distribution deferred malte  
225 82 months ago create capabilities interface deferred erez erez
121 85 months ago Reuse of heuristic values between different iterations of RWA* chatting malte erez
wish
755 4 days ago consider using int-based representations for PDB heuristics chatting jendrik  
740 1 month ago Print translator output to stdout and not to file chatting patrick.luehne  
734 2 months ago validator uses too much memory chatting jendrik  
730 6 months ago tab completion chatting malte  
576 7 months ago use transition normal form for admissible potential heuristics deferred jendrik  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: