List of issues

ID Activity Title Status Creator Assigned To
764 6 days ago Remove global variables for plan storage unread florian florian
740 6 days ago make translator output file configurable reviewing patrick.luehne guillem
758 2 months ago by default, don't write an file on full planner runs chatting malte  
755 3 months ago consider using int-based representations for PDB heuristics chatting jendrik  
734 6 months ago validator uses too much memory chatting jendrik  
730 10 months ago tab completion chatting malte  
576 10 months ago use transition normal form for admissible potential heuristics deferred jendrik  
564 10 months ago Better way of storing per-task information chatting florian  
507 11 months ago option parser: make keywords mandatory chatting jendrik  
703 14 months ago run valgrind's memory debugging tools chatting malte  
630 15 months ago Nicer error reporting in build script chatting florian  
691 15 months ago handle CPXlpopt out-of-memory error unread jendrik  
598 17 months ago Use task with modified cost function in PDB code reviewing florian florian
675 17 months ago reuse evaluation context unread jendrik  
556 18 months ago Investigate different variable orders for the successor generator chatting florian florian
652 22 months ago Make repository smaller by rewriting its history chatting jendrik  
505 22 months ago more aliases in driver chatting jendrik  
639 24 months ago queue-type option to all open lists chatting masataro  
641 24 months ago depth evaluator chatting masataro  
637 25 months ago CEGAR: refactor AbstractState and AbstractSearch unread jendrik  
631 25 months ago Make EHC Implementation Consistent with FF chatting erez erez
566 25 months ago Nicer error reporting in driver script chatting florian  
215 26 months ago translator should loudly complain about invalid PDDL chatting erez malte
497 28 months ago Canonicalize the order of effects, conditions, mutexes, etc. chatting gabi  
348 29 months ago Rethink how and when to unpack states chatting florian florian
579 29 months ago Find suitable default values for caching heuristic estimates unread salome  
565 32 months ago Stop ignoring warnings on Windows chatting florian  
371 32 months ago Wishlist for changes in the output format in-progress florian gabi
454 33 months ago get rid of negated axiom rules in translator chatting malte  
523 35 months ago Symmetry based pruning integration chatting mkatz  
125 35 months ago implement "problem transformations" and make heuristics use them chatting malte  
519 36 months ago add max_expansions parameter unread jendrik  
502 36 months ago Do not create duplicate actions chatting gabi  
435 37 months ago add general successor modification functionality chatting jendrik  
506 39 months ago Make implementation of LP interface more efficient chatting florian  
498 39 months ago use configurable logging mechanism in translator unread jendrik  
340 39 months ago Using admissible heuristics for pruning in greedy search unread patrik  
489 41 months ago rethink portfolio syntax unread jendrik  
152 42 months ago extend invariant synthesis to find another Satellite invariant chatting malte  
169 42 months ago would be nice to find more invariants in trucks chatting malte  
290 42 months ago translator should complain about name clashes between objects chatting silvia  
296 42 months ago translator: performance issue with universally quantified effects chatting malte  
299 42 months ago simplify conditional effects in translator chatting malte  
220 42 months ago Make translator stricter and improve error output chatting malte  
333 42 months ago Translate fails on nested quantification chatting rpgoldman malte
398 42 months ago invariant synthesis: determinism and speed issues chatting malte gabi
111 42 months ago Implement different ways to handle negative preconditions unread gabi  
161 42 months ago simplify axioms chatting malte  
54 42 months ago axiom support differs from what is described in the AIJ translator paper chatting malte  
472 42 months ago introduce symbol table for PDDL parser chatting malte malte
Download as CSV
Sort on: Descending:
Group on: Descending: