List of issues

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

Priority ID Creation Activity Actor Keyword Title Status Creator Assigned To
feature 384 153 months ago 24 months ago salome   Use variables instead of predicate names for disjunctive landmarks classes chatting gabi  
wish 385 151 months ago 147 months ago florian   Remove StateRepresentation class resolved florian florian
feature 386 151 months ago 145 months ago florian   Avoid overhead when creating temporary states resolved florian florian
wish 387 151 months ago 150 months ago florian   Handle default values and resizing in PerStateInformation and SegmentedVector resolved florian  
wish 388 151 months ago 30 months ago malte   Get rid of code duplication in SegmentedArrayVector resolved florian  
bug 389 151 months ago 151 months ago florian   memory soft limit causes portfolios to terminate configs early resolved florian  
feature 390 150 months ago 150 months ago malte   Log peak memory usage in translator resolved jendrik jendrik
bug 391 150 months ago 145 months ago malte   Coverage drop in Pegsol with iPDB resolved gabi  
wish 392 150 months ago 142 months ago jendrik   expose succ_mode option of lazy search and evaluate it resolved malte jendrik
bug 393 149 months ago 148 months ago patrik   Non-deterministic translator crash resolved patrik gabi
bug 394 149 months ago 144 months ago jendrik   Portfolio returncodes for unsupported configs resolved jendrik jendrik
bug 395 149 months ago 148 months ago gabi   Incorrect (:functions) block parsing resolved gfrances gabi
feature 396 148 months ago 137 months ago malte translator possibility to compile away conditional effects in-progress gabi gabi
feature 397 148 months ago 86 months ago jendrik   Treat conditional effects differently in-progress gabi  
wish 398 148 months ago 30 months ago malte translator invariant synthesis: determinism and speed issues resolved malte gabi
bug 399 147 months ago 147 months ago gabi   Invariance synthesis: bug in heaviness check resolved gabi gabi
critical 400 147 months ago 147 months ago gabi   Problem with issue tracker resolved gabi  
meta 401 147 months ago 60 months ago florian   Master plan for state representation chatting florian  
bug 402 147 months ago 146 months ago malte   iPDB: avoid computing maximal additive subsets for every candidate PDB *for every sample* resolved silvan  
feature 403 147 months ago 137 months ago florian   Conditional effect support for LMcut chatting florian  
wish 404 147 months ago 146 months ago silvan   iPDB random walk evaluates every state resolved florian silvan
bug 405 147 months ago 147 months ago gabi   Translator asserts "Negative goal not supported" when goal violates a mutex resolved kori malte
bug 406 147 months ago 147 months ago jendrik   Timeouts have no effect in portfolios resolved jendrik jendrik
bug 407 147 months ago 93 months ago cedric   g-bound for trivially solved tasks chatting jendrik  
feature 408 146 months ago 142 months ago jendrik   max_time parameter for ipdb resolved jendrik jendrik
wish 409 146 months ago 144 months ago jendrik   Basic conditional effect support for merge-and-shrink resolved jendrik jendrik
bug 410 146 months ago 145 months ago silvan   iPDB rejects candidate patterns due to their size although they are small enough resolved silvan silvan
bug 411 146 months ago 145 months ago silvan   iPDB crashes if the chosen pdb_max_size is small enough resolved silvan silvan
bug 412 145 months ago 145 months ago gabi   Translator fails with empty preconditions list resolved yan malte
bug 413 145 months ago 145 months ago gabi   Translator fails when object id and predicate id have the same name resolved sergionuc  
feature 414 145 months ago 137 months ago malte   clean up overall architecture of planner runs resolved malte jendrik
feature 415 145 months ago 137 months ago malte   Better memory management for Merge-and-Shrink chatting florian  
feature 416 145 months ago 117 months ago florian   Get rid of global state registry resolved florian florian
feature 417 145 months ago 145 months ago jendrik   Make the buildbot update the automatically generated wiki documentation resolved florian jendrik
wish 418 145 months ago 145 months ago jendrik   Build docs automatically with buildbot resolved jendrik jendrik
feature 419 145 months ago 142 months ago silvan   Integrate new label reduction and non-linear merge strategies resolved silvan silvan
feature 420 145 months ago 144 months ago jendrik   make axiom evaluator faster, especially when there are no axioms resolved malte jendrik
wish 421 145 months ago 145 months ago jendrik   Remove python 2.6 support for translator resolved jendrik jendrik
wish 422 145 months ago 143 months ago jendrik   include peak memory info in progress reports resolved malte jendrik
feature 423 145 months ago 122 months ago malte   Avoid storing the values of derived variables resolved florian  
feature 424 145 months ago 145 months ago florian   Avoid storing variables whose values are implied unread florian  
feature 425 144 months ago 137 months ago malte   Switch to C++11. resolved jendrik jendrik
bug 426 144 months ago 142 months ago silvan   Heuristics need to take axioms into account for safeness info resolved jendrik silvan
feature 427 144 months ago 144 months ago silvan   M&S: computation of target shrink sizes for two abstractions should be symmetric resolved silvan silvan
wish 428 144 months ago 137 months ago malte   Use -mx32 rather than -m32: faster code, same memory resolved andrew.coles  
wish 429 143 months ago 140 months ago florian   Change Makefile to support externally compiled COIN and LP Solvers resolved florian florian
bug 430 143 months ago 122 months ago gabi translator generate error for duplicate actions in PDDL resolved florian  
bug 431 143 months ago 143 months ago silvan   M&S: greedy shrink bisimulation strategies test for an abstraction's size rather than the abstraction's varset resolved silvan silvan
meta 432 143 months ago 127 months ago silvan   M&S refactoring: meta issue resolved silvan silvan
bug 433 143 months ago 142 months ago jendrik   Portfolios should respect soft, not hard time limit resolved jendrik jendrik
<< previous   351..400 out of 1153 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: