ID |
Activity |
Title |
Status |
Creator |
Assigned To |
meta
|
987 |
3 months ago |
Clean up landmark implementation
|
chatting |
clemens |
|
924 |
3 months ago |
issues related to axioms and negative conditions
|
chatting |
malte |
|
1146 |
4 months ago |
Validate output.sas
|
chatting |
tanja |
|
220 |
11 months ago |
Make translator stricter and improve error output
|
chatting |
malte |
|
559 |
12 months ago |
Solve component coordination problem
|
in-progress |
silvan |
|
757 |
15 months ago |
Use Fast Downward programmatically
|
chatting |
guillem |
|
567 |
17 months ago |
M&S refactoring part 2: meta issue
|
chatting |
silvan |
silvan |
207 |
46 months ago |
revise search code
|
chatting |
malte |
|
833 |
47 months ago |
Get rid of g_root_task
|
deferred |
florian |
florian |
401 |
48 months ago |
Master plan for state representation
|
chatting |
florian |
|
610 |
53 months ago |
open list refactoring
|
chatting |
malte |
|
890 |
72 months ago |
performance improvements for heuristics based on relaxed exploration or variations of that
|
unread |
jendrik |
|
877 |
72 months ago |
performance improvements for relaxation heuristics
|
chatting |
jendrik |
|
690 |
72 months ago |
reduce memory usage
|
chatting |
jendrik |
|
569 |
75 months ago |
driver script idea collection
|
chatting |
malte |
|
753 |
76 months ago |
ugly hacks
|
chatting |
malte |
|
686 |
76 months ago |
handle task transformations in path-dependent heuristics
|
chatting |
jendrik |
|
746 |
86 months ago |
statistics
|
unread |
jendrik |
|
bug
|
1158 |
1 month ago |
Sorting SASTask components after variable reordering
|
chatting |
mkatz |
|
247 |
3 months ago |
LM heuristic crashes and/or wrongly reports dead ends
|
chatting |
malte |
|
165 |
3 months ago |
performance issue in translator (with negative preconditions code?)
|
chatting |
malte |
|
1072 |
5 months ago |
Landmark Count ignores conjunctive landmarks for preferred operators
|
deferred |
clemens |
|
1069 |
6 months ago |
Reading SAS files accepts invalid initial states.
|
chatting |
clemens |
|
458 |
6 months ago |
handling degenerate inputs to preprocessor and search
|
chatting |
malte |
|
1139 |
6 months ago |
unhandled exception in driver when portfolio cannot run any search configs
|
chatting |
malte |
|
1102 |
11 months ago |
remove usage of deprecated --evaluator etc.
|
chatting |
malte |
|
1125 |
15 months ago |
QtCreator chokes on new CMake scripts
|
chatting |
jendrik |
|
442 |
18 months ago |
lm_rhw detects wrong gn-orderings with derived predicates
|
chatting |
salome |
|
1065 |
28 months ago |
Dangling reference to log in PatternCollectionInformation
|
unread |
florian |
|
1038 |
33 months ago |
lazy search with reopening does not always respect the g bound
|
chatting |
jendrik |
|
1015 |
44 months ago |
Try to fix cases where the translator incurs a segfault when running out of memory
|
chatting |
silvan |
|
985 |
49 months ago |
Issue a warning when handing --validate and an output.sas to driver
|
chatting |
gnad |
|
785 |
71 months ago |
PDB dominance pruning crashes for empty patterns
|
reviewing |
jendrik |
silvan |
858 |
75 months ago |
Overflow in potential heuristics with high max_potential
|
unread |
florian |
|
407 |
80 months ago |
g-bound for trivially solved tasks
|
chatting |
jendrik |
|
709 |
95 months ago |
Negative heuristic value for operator-counting heuristic
|
chatting |
florian |
|
689 |
98 months ago |
Unsolvable tasks not detected by potential heuristic
|
chatting |
florian |
|
250 |
134 months ago |
Assertion failure in the DFP-Shrink-Strategy - abstraction too big
|
chatting |
moritz |
|
341 |
152 months ago |
variable ordering in preprocessor differs from description in Fast Downward paper
|
chatting |
mikko |
malte |
323 |
157 months ago |
better error messages for illegal or unsupported types
|
chatting |
rpgoldman |
malte |
feature
|
1159 |
1 week ago |
Get rid of g_axiom_evaluators
|
chatting |
florian |
|
1160 |
3 weeks ago |
Support trivially solvable and unsolvable tasks in search component
|
unread |
gabi |
|
1157 |
2 months ago |
Novelty implementation (w<=2)
|
chatting |
masataro |
|
636 |
3 months ago |
Integrate P^m compilation
|
unread |
gabi |
|
1149 |
5 months ago |
Tab completion for the --search string
|
unread |
florian |
|
1137 |
7 months ago |
Disable presolving for potential heuristics
|
chatting |
florian |
|
384 |
11 months ago |
Use variables instead of predicate names for disjunctive landmarks classes
|
chatting |
gabi |
|
1077 |
15 months ago |
remove combo pattern collection generator
|
chatting |
silvan |
|
1103 |
17 months ago |
Try compiling each CMake plugin/library as its own library
|
chatting |
florian |
|
98 |
17 months ago |
support derived predicates properly in our heuristics
|
chatting |
malte |
|
|