List of issues

ID Activity Title Status Creator Assigned To
509 1 month ago task class enhancements chatting jendrik jendrik
567 2 months ago M&S refactoring part 2: meta issue chatting silvan silvan
207 3 months ago revise search code chatting malte  
559 9 months ago Solve component coordination problem chatting silvan  
64 9 months ago use namespaces chatting malte malte
588 9 months ago option parser refactoring chatting malte  
401 9 months ago Master plan for state representation chatting florian  
610 10 months ago open list refactoring chatting malte  
569 12 months ago driver script idea collection chatting malte  
681 1 week ago compilation issue with LP code: "isnan" chatting malte  
288 2 months ago OptionParser accepts incomplete parameters in-progress jendrik moritz
339 3 months ago what happens when reopening nodes in settings with multiple heuristics? chatting malte malte
638 7 months ago Fix implementation of "interesting" patterns chatting florian  
619 9 months ago ./ --help crashes when using a core compilation deferred silvan  
575 13 months ago make PDB evaluation fast again unread jendrik  
537 13 months ago make blind search faster again chatting jendrik  
407 15 months ago g-bound for trivially solved tasks chatting jendrik  
165 24 months ago performance issue in translator (with negative preconditions code?) chatting malte  
453 25 months ago Solvable problem reported unsolvable - incorrect computation of derived predicates? chatting patrik  
467 25 months ago Assertion in LandmarkFactoryRpgSasp fails for unsolvable tasks chatting florian  
458 26 months ago handling degenerate inputs to preprocessor and search chatting malte  
442 27 months ago lm_rhw detects wrong gn-orderings with derived predicates chatting salome  
250 34 months ago Assertion failure in the DFP-Shrink-Strategy - abstraction too big chatting moritz  
383 39 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 53 months ago issues when using multiple heuristics chatting malte  
323 57 months ago better error messages for illegal or unsupported types chatting rpgoldman malte
247 63 months ago LM heuristic crashes and/or wrongly reports dead ends chatting malte emilkeyder
684 2 days ago remove cost_type from Heuristic chatting jendrik jendrik
551 2 days ago Use new task interface in landmark heuristics reviewing florian manuel
682 2 days ago M&S refactoring part 2: get rid of two-stage lookup in the final "heuristic representation" (which should also be renamed) chatting silvan silvan
683 2 days ago remove BucketOpenList unread jendrik  
678 1 week ago Issue with universal quantification over large set of objects chatting enricos83  
667 1 month ago Merge-and-Shrink: Integrate SCCs based merge strategy chatting silvan silvan
672 1 month ago Create documentation for the directory structure unread silvan  
668 1 month ago Merge-and-Shrink: Integrate dynamic MIASM merge strategy chatting silvan silvan
311 1 month ago create "eager_wastar" analog of "lazy_wastar" chatting malte salome
368 1 month ago Update parents in lazy search when reopen_closed is switched off chatting mkatz  
669 1 month ago Move algorithm utilities to their own subdirectory algorithms chatting silvan  
589 2 months ago Make statistics output easier to parse chatting florian  
663 2 months 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 3 months ago retrieve mutex group numbers from AbstractTask chatting jendrik  
646 6 months ago Parent evaluation context in-progress manuel manuel
636 8 months ago Integrate P^m compilation unread gabi  
628 9 months ago Integrate mutex-based interference for stubborn sets unread martin martin
545 9 months ago Do not store values of derived variables in-progress gabi gabi
624 9 months ago Create custom build configs with ccmake through chatting florian florian
620 9 months ago add mechanism for global flags set on the command line unread malte  
Download as CSV
Sort on: Descending:
Group on: Descending: