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