List of issues

ID Activity Title Status Creator Assigned To
509 1 week ago task class enhancements chatting jendrik jendrik
567 1 month ago M&S refactoring part 2: meta issue chatting silvan silvan
207 2 months ago revise search code chatting malte  
559 8 months ago Solve component coordination problem chatting silvan  
64 8 months ago use namespaces chatting malte malte
588 8 months ago option parser refactoring chatting malte  
401 8 months ago Master plan for state representation chatting florian  
610 9 months ago open list refactoring chatting malte  
569 11 months ago driver script idea collection chatting malte  
288 1 month ago OptionParser accepts incomplete parameters in-progress jendrik moritz
339 2 months ago what happens when reopening nodes in settings with multiple heuristics? chatting malte malte
638 6 months ago Fix implementation of "interesting" patterns chatting florian  
619 8 months ago ./ --help crashes when using a core compilation deferred silvan  
575 12 months ago make PDB evaluation fast again unread jendrik  
537 12 months ago make blind search faster again chatting jendrik  
407 14 months ago g-bound for trivially solved tasks chatting jendrik  
165 23 months ago performance issue in translator (with negative preconditions code?) chatting malte  
453 24 months ago Solvable problem reported unsolvable - incorrect computation of derived predicates? chatting patrik  
467 24 months ago Assertion in LandmarkFactoryRpgSasp fails for unsolvable tasks chatting florian  
458 25 months ago handling degenerate inputs to preprocessor and search chatting malte  
442 26 months ago lm_rhw detects wrong gn-orderings with derived predicates chatting salome  
250 33 months ago Assertion failure in the DFP-Shrink-Strategy - abstraction too big chatting moritz  
383 38 months ago Reasonable orders in landmark graph not always generated chatting salome  
341 52 months ago variable ordering in preprocessor differs from description in Fast Downward paper chatting mikko malte
198 52 months ago issues when using multiple heuristics chatting malte  
323 56 months ago better error messages for illegal or unsupported types chatting rpgoldman malte
247 62 months ago LM heuristic crashes and/or wrongly reports dead ends chatting malte emilkeyder
551 3 hours ago Use new task interface in landmark heuristics in-progress florian manuel
535 yesterday remove GlobalOperator::marked reviewing jendrik jendrik
667 2 weeks ago Merge-and-Shrink: Integrate SCCs based merge strategy chatting silvan silvan
672 2 weeks ago Create documentation for the directory structure unread silvan  
668 2 weeks ago Merge-and-Shrink: Integrate dynamic MIASM merge strategy chatting silvan silvan
311 3 weeks ago create "eager_wastar" analog of "lazy_wastar" chatting malte salome
368 3 weeks ago Update parents in lazy search when reopen_closed is switched off chatting mkatz  
669 3 weeks ago Move algorithm utilities to their own subdirectory algorithms chatting silvan  
589 1 month ago Make statistics output easier to parse chatting florian  
663 1 month ago use shared_ptr for searches unread jendrik  
653 2 months ago validate plan costs unread jendrik  
26 2 months ago integrate preprocessor in search code (optionally) reviewing malte malte
661 2 months ago retrieve mutex group numbers from AbstractTask chatting jendrik  
646 5 months ago Parent evaluation context in-progress manuel manuel
636 7 months ago Integrate P^m compilation unread gabi  
628 8 months ago Integrate mutex-based interference for stubborn sets unread martin martin
545 8 months ago Do not store values of derived variables in-progress gabi gabi
624 8 months ago Create custom build configs with ccmake through chatting florian florian
620 8 months ago add mechanism for global flags set on the command line unread malte  
609 9 months ago more logging of time in the driver script chatting malte  
450 10 months ago negated axiom rules cause combinatorial explosion chatting malte  
590 10 months ago Factory class for operator counting constraints chatting florian florian
578 11 months ago Limit time spent in iPDB dominance pruning unread florian  
Download as CSV
Sort on: Descending:
Group on: Descending: