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