List of issues

ID Activity Title Status Creator Assigned To
753 yesterday ugly hacks chatting malte  
588 yesterday option parser refactoring in-progress malte  
686 yesterday handle task transformations in path-dependent heuristics chatting jendrik  
559 yesterday Solve component coordination problem chatting silvan  
833 yesterday Get rid of g_root_task in-progress florian florian
213 2 days ago Remove 32-bit and 64-bit build options. in-progress erez jendrik
207 1 week ago revise search code chatting malte  
567 3 months ago M&S refactoring part 2: meta issue chatting silvan silvan
569 6 months ago driver script idea collection chatting malte  
757 7 months ago Use Fast Downward programmatically chatting guillem  
746 9 months ago statistics unread jendrik  
64 16 months ago use namespaces chatting malte malte
610 17 months ago open list refactoring chatting malte  
706 20 months ago CMake TODO list chatting florian  
690 20 months ago reduce memory usage chatting jendrik  
401 32 months ago Master plan for state representation chatting florian  
813 6 days ago Translator doesn't error on non-existent objects chatting emilkeyder  
810 1 month ago Bug in invariant synthesis unread gabi  
785 3 months ago PDB dominance pruning crashes for empty patterns reviewing jendrik silvan
407 3 months ago g-bound for trivially solved tasks chatting jendrik  
711 5 months ago OptionParser silently swallows additional arguments chatting florian  
771 6 months ago translator generates wrong mutex information with full encoding? unread malte  
537 6 months ago make blind search faster again chatting jendrik  
288 17 months ago option parser accepts incorrect configurations chatting jendrik  
709 18 months ago Negative heuristic value for operator-counting heuristic chatting florian  
165 20 months ago performance issue in translator (with negative preconditions code?) chatting malte  
383 20 months ago Reasonable orders in landmark graph not always generated chatting salome  
689 22 months ago Unsolvable tasks not detected by potential heuristic chatting florian  
575 36 months ago make PDB evaluation fast again unread jendrik  
453 48 months ago Solvable problem reported unsolvable - incorrect computation of derived predicates? chatting patrik  
467 48 months ago Assertion in LandmarkFactoryRpgSasp fails for unsolvable tasks chatting florian  
458 49 months ago handling degenerate inputs to preprocessor and search chatting malte  
442 50 months ago lm_rhw detects wrong gn-orderings with derived predicates chatting salome  
250 58 months ago Assertion failure in the DFP-Shrink-Strategy - abstraction too big chatting moritz  
341 76 months ago variable ordering in preprocessor differs from description in Fast Downward paper chatting mikko malte
323 80 months ago better error messages for illegal or unsupported types chatting rpgoldman malte
247 86 months ago LM heuristic crashes and/or wrongly reports dead ends chatting malte emilkeyder
306 6 hours ago Fix unintuitive/redundant command-line options chatting malte  
802 yesterday M&S: add support for time limit and computing partial abstractions in general reviewing silvan silvan
311 yesterday create "eager_wastar" analog of "lazy_wastar" chatting malte salome
814 yesterday make h^add/h^max/h^FF more efficient, especially in 64-bit builds chatting malte  
731 yesterday remove legacy hash functions chatting jendrik jendrik
843 yesterday On the Mac and Windows buildbots, use for testing chatting silvan  
842 yesterday Collect Plugin(/Type/Group) information on startup and construct later with tests chatting patfer patfer
831 2 days ago Unique names for plugins & predefinitions chatting patfer patfer
823 5 days ago Clarify role of Heuristic class unread gabi  
285 6 days ago evaluate/improve A* tie-breaking w.r.t. goal states chatting malte  
751 1 week ago store g values in GEvaluator unread jendrik  
187 1 week ago Strengthen invariant synthesis chatting gabi  
754 1 week ago make 64-bit builds the default, then remove option to build in 32-bit mode in-progress jendrik jendrik
Download as CSV
Sort on: Descending:
Group on: Descending: