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