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
wish 786 93 months ago 89 months ago jendrik   prepare code base for code from saturated cost partitioning papers resolved jendrik jendrik
feature 787 93 months ago 47 months ago malte infrastructure Create Singularity-Based Fast Downward "Developer Toolkit" resolved guillem guillem
feature 788 93 months ago 47 months ago malte infrastructure Create End-User Fast Downward Singularity Container resolved guillem guillem
bug 789 93 months ago 89 months ago jendrik   File name provided with "--plan-file" transformed to lowercase resolved mkatz patfer
feature 790 93 months ago 90 months ago jendrik   fix various minor problems in headers as suggested by clang-tidy resolved jendrik jendrik
feature 791 93 months ago 89 months ago malte   Use task interface for StateRegistry resolved florian florian
feature 792 93 months ago 89 months ago florian   Get rid of g_successor_generator resolved florian florian
wish 793 93 months ago 89 months ago florian   Clean up globals.{h,cc} resolved florian florian
wish 794 93 months ago 89 months ago florian   Reduce code duplication in axiom evaluator resolved florian florian
feature 795 93 months ago 93 months ago silvan   sbMIASM: consider alternative options to imitating the shrink strategy of the heuristic when computing temporary product systems unread silvan  
wish 796 92 months ago 92 months ago jendrik   autodoc: add --dry-run and --build options resolved jendrik jendrik
wish 797 92 months ago 89 months ago jendrik   clang-tidy: check header files resolved jendrik jendrik
wish 798 92 months ago 59 months ago jendrik   CEGAR: make extra memory padding configurable resolved jendrik jendrik
wish 799 92 months ago 92 months ago jendrik   use clang-format instead of uncrustify resolved jendrik jendrik
wish 800 92 months ago 30 months ago clemens   integrate saturated cost partitioning for landmark heuristics chatting jendrik  
wish 801 92 months ago 91 months ago jendrik   switch to newer uncrustify version resolved jendrik jendrik
feature 802 92 months ago 84 months ago silvan   M&S: add support for time limit and computing partial abstractions in general resolved silvan silvan
bug 803 92 months ago 92 months ago jendrik   IntHashSet: fix failing assertions in debug64 build resolved jendrik jendrik
bug 804 92 months ago 92 months ago malte easy state_equation_constraints plugin object is not static resolved malte malte
wish 805 92 months ago 92 months ago jendrik   allow passing cost bound to portfolios resolved jendrik jendrik
wish 806 92 months ago 89 months ago jendrik driver add --portfolio-max-plans option resolved jendrik jendrik
wish 807 91 months ago 91 months ago thomas   use nicer indentation for lambda functions resolved jendrik jendrik
wish 808 91 months ago 91 months ago manuel   initial heuristic value vs. progress chatting manuel manuel
feature 809 91 months ago 89 months ago silvan   document that merge-and-shrink heuristic is not always admissible resolved jendrik silvan
bug 810 90 months ago 86 months ago malte translator Bug in invariant synthesis resolved gabi gabi
feature 811 90 months ago 59 months ago jendrik   pass AbstractTask by const reference if ownership is not shared resolved jendrik  
bug 812 90 months ago 89 months ago silvan   planner should exit with error if writing plan fails resolved jendrik silvan
wish 813 90 months ago 9 months ago Claudia translator Translator doesn't error on non-existent objects resolved emilkeyder  
feature 814 89 months ago 86 months ago jendrik   make h^add/h^max/h^FF more efficient, especially in 64-bit builds resolved malte jendrik
feature 815 89 months ago 89 months ago guillem   Rename "heuristic" to "evaluator" in variable and function names resolved guillem guillem
feature 816 89 months ago 86 months ago jendrik   docs: Use sections in wiki documentation to group similar plugins chatting gabi  
feature 817 89 months ago 89 months ago gabi   Let ConstEvaluator inherit from Evaluator resolved gabi gabi
meta 818 89 months ago 32 months ago florian   Testing email notifications resolved florian  
feature 819 89 months ago 89 months ago guillem   Clean up obsolete Heuristic forward definitions and heuristic.h includes resolved guillem guillem
wish 820 89 months ago 30 months ago malte   Decide how to use global per task data resolved florian  
feature 821 89 months ago 89 months ago malte   rename HeuristicCache to EvaluatorCache resolved malte malte
feature 822 89 months ago 89 months ago cedric   Use --evaluator for evaluator predefinitions resolved cedric  
feature 823 89 months ago 89 months ago cedric   Clarify role of Heuristic class unread gabi  
wish 824 89 months ago 89 months ago florian   Use TaskProxy in PerTaskInformation resolved florian florian
bug 825 89 months ago 89 months ago silvan driver memory limits not enforced on Mac OS; add driver exit codes resolved malte silvan
feature 826 89 months ago 89 months ago patfer   Split option_parser.{h,cc} responsibilities resolved patfer patfer
feature 827 89 months ago 89 months ago salome   Move option parser code from .h to .cc files resolved salome salome
feature 828 89 months ago 89 months ago cedric   One class for storing all Predefinitions resolved salome cedric
wish 829 89 months ago 59 months ago jendrik   CMake: build should fail if a module is missing resolved jendrik  
feature 830 89 months ago 89 months ago patfer   one registry to manage PluginRegistry<T>/PluginTypeRegistry/PluginGroupRegistry resolved patfer patfer
feature 831 89 months ago 86 months ago patfer   Unique names for plugins & predefinitions resolved patfer patfer
feature 832 89 months ago 89 months ago patfer   Rework relation Registry-DocStore for documentation resolved patfer patfer
meta 833 89 months ago 60 months ago jendrik   Get rid of g_root_task deferred florian florian
feature 834 89 months ago 89 months ago cedric   remove traces of old Plugin class resolved jendrik cedric
wish 835 89 months ago 89 months ago florian   Convert preferred operators to task of heuristic resolved florian  
<< previous   751..800 out of 1153 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: