List of issues

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