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
bug 262 179 months ago 179 months ago malte   Small but strange option parser bug resolved patrik moritz
wish 263 179 months ago 34 months ago malte   look into different tie-breaking strategies for LM-Cut resolved malte  
wish 264 179 months ago 136 months ago gabi translator expose translator options to command line resolved malte gabi
bug 265 179 months ago 179 months ago malte   M&S: assertion fails on unsolvable tasks resolved malte raznis
wish 266 179 months ago 127 months ago malte   modularize code further resolved malte  
feature 267 179 months ago 177 months ago mkatz   Add symmetries pruning support chatting nirp nirp
feature 268 179 months ago 179 months ago malte   merge&shrink file/class name clean-up and removal resolved malte malte
wish 269 179 months ago 138 months ago malte   Use new RNG everywhere resolved malte jendrik
bug 270 179 months ago 141 months ago silvan 1.0 PDB code should not depend on M&S code resolved malte  
wish 271 179 months ago 143 months ago malte   M&S: experiment with what to do when the size limit is hit in bisimulation strategies resolved malte malte
bug 272 178 months ago 178 months ago malte   Using landmarks causes some assertion errors resolved erez erez
bug 273 178 months ago 178 months ago malte 1.0 translator bug in invariant synthesis resolved gabi malte
bug 274 178 months ago 178 months ago malte   downward script fails on Mac OS X because of time API resolved rpgoldman malte
feature 275 178 months ago 178 months ago malte   Fix memory info on Mac OS X resolved rpgoldman malte
wish 276 178 months ago 176 months ago malte   code ugliness in abstraction.cc (inconsistent access to transition cost) resolved malte malte
wish 277 178 months ago 176 months ago malte   makefile doesn't work on OS X resolved emilkeyder emilkeyder
feature 278 178 months ago 170 months ago jendrik   Various small translator fixes resolved jendrik jendrik
wish 279 178 months ago 176 months ago malte   M&S: "somewhat" greedy bisimulation resolved malte malte
bug 280 178 months ago 143 months ago malte   translator: failed assertion about normalized conditions resolved gabi malte
bug 281 178 months ago 178 months ago malte   Invalid plans found due to problem in instantiation resolved gabi malte
wish 282 178 months ago 159 months ago jendrik 1.0 get rid of unmaintained translator top-level scripts resolved malte jendrik
wish 283 178 months ago 160 months ago malte   Move new-scripts into a separate repository resolved jendrik jendrik
bug 284 177 months ago 177 months ago malte   passing double through int in ipdb implementation resolved patrik silvan
feature 285 177 months ago 93 months ago jendrik   evaluate/improve A* tie-breaking w.r.t. goal states chatting malte  
wish 286 177 months ago 127 months ago malte   make option parser more plugin friendly resolved moritz malte
bug 287 177 months ago 177 months ago malte   Compilation error on Ubuntu Oneiric resolved jendrik jendrik
bug 288 177 months ago 34 months ago malte   option parser accepts incorrect configurations resolved jendrik  
bug 289 177 months ago 126 months ago gabi   Disjunctive landmarks creation is buggy resolved silvia gabi
wish 290 177 months ago 34 months ago gabi translator translator should complain about name clashes between objects resolved silvia  
feature 291 176 months ago 141 months ago malte   Set up a target for automated fast downward notifications resolved erez erez
bug 292 176 months ago 176 months ago malte   translator complains about something about an existential condition resolved rpgoldman malte
wish 293 176 months ago 143 months ago malte   improve handling of type name that clash with predicate names resolved malte  
bug 294 176 months ago 155 months ago gabi   negative literals in :init should be allowed resolved malte gabi
wish 295 176 months ago 73 months ago jendrik   Get COIN lp working on Mac OS X resolved rpgoldman malte
wish 296 176 months ago 141 months ago malte translator translator: performance issue with universally quantified effects chatting malte  
bug 297 176 months ago 176 months ago malte   index out of range error in invariants.py resolved rpgoldman  
wish 298 176 months ago 176 months ago malte   Cause translate to throw an error if EITHER is used resolved rpgoldman  
wish 299 176 months ago 141 months ago malte translator simplify conditional effects in translator chatting malte  
wish 300 176 months ago 127 months ago malte   get rid of dependency of h^cea of DomainTransitionGraph resolved malte malte
feature 301 176 months ago 176 months ago malte   m&s bisimulation: always separate goal states from non-goal states resolved malte malte
wish 302 176 months ago 62 months ago malte   implement efficient exact bisimulation algorithm resolved malte  
wish 303 176 months ago 141 months ago malte   support timeouts directly in search resolved erez  
feature 304 176 months ago 176 months ago malte   improve handling of zero-cost actions chatting malte  
wish 305 176 months ago 158 months ago jendrik   make new-scripts work on Mac OS resolved malte  
feature 306 175 months ago 15 months ago florian   Fix unintuitive/redundant command-line options resolved malte  
feature 307 175 months ago 175 months ago jendrik   scripts: replace configobj with json for property files resolved jendrik jendrik
feature 308 175 months ago 175 months ago jendrik   include ipc 2011 domains resolved jendrik  
wish 309 175 months ago 148 months ago malte   get rid of gawk dependency resolved malte  
feature 310 175 months ago 170 months ago malte   new greedy bisimulation definition taking into account action costs resolved malte malte
feature 311 175 months ago 90 months ago jendrik   create "eager_wastar" analog of "lazy_wastar" resolved malte augusto
<< previous   251..300 out of 1176 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: