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 886 87 months ago 87 months ago malte   Support K,M,G suffixes for integer options resolved jendrik jendrik
bug 887 87 months ago 1 month ago malte translator Goal with nested conjunctions causes "Condition not normalized" error resolved emilkeyder  
wish 888 87 months ago 32 months ago malte infrastructure Decide which tests should run on the buildbot resolved florian  
bug 889 87 months ago 85 months ago jendrik infrastructure Code tests on buildbot run out of memory resolved florian jendrik
meta 890 87 months ago 87 months ago silvan   performance improvements for heuristics based on relaxed exploration or variations of that unread jendrik  
wish 891 87 months ago 60 months ago malte   Implement support for specifying integer variables in linear programs resolved mkatz  
wish 892 86 months ago 85 months ago silvan   Change interface of PatternGenerators to allow returning pattern and the corresponding PDB resolved silvan silvan
bug 893 86 months ago 86 months ago malte   Wrong type of Proposition struct member in relaxation heuristic resolved gnad  
wish 894 86 months ago 86 months ago jendrik   use operator IDs in PDB match trees resolved jendrik jendrik
feature 895 86 months ago 86 months ago jendrik   rename StandardScalarOpenList to BestFirstOpenList resolved jendrik jendrik
feature 896 86 months ago 85 months ago silvan   Clean-up and make output/timing of pattern (collection) generators consistent resolved silvan silvan
wish 897 86 months ago 85 months ago cedric   code tests: update tested planner configurations resolved jendrik jendrik
wish 898 86 months ago 86 months ago malte   Allow shrink after merge (on a merged component only) in merge-and-shrink heuristic resolved mkatz  
wish 899 86 months ago 85 months ago jendrik   store LandmarkNodes in vector<unique_ptr> resolved jendrik jendrik
wish 900 86 months ago 82 months ago jendrik   integrate Stone Soup 2018 portfolio resolved jendrik jendrik
wish 901 85 months ago 85 months ago jendrik   CEGAR: don't use raw pointers for refinement hierarchy resolved jendrik jendrik
wish 902 85 months ago 85 months ago jendrik   CEGAR: rename Domains to CartesianSet resolved jendrik jendrik
wish 903 85 months ago 85 months ago jendrik   CEGAR: use CartesianSet instead of AbstractState for temporary Cartesian sets resolved jendrik jendrik
wish 904 85 months ago 85 months ago jendrik   docs: add separate year field resolved jendrik jendrik
wish 905 85 months ago 85 months ago jendrik   CEGAR: use unique_ptr to store AbstractStates resolved jendrik jendrik
wish 906 85 months ago 3 months ago malte   Change Pattern(Collection)Information to transfer ownership rather than sharing it resolved silvan silvan
bug 907 85 months ago 32 months ago malte infrastructure "Literature" documentation page is badly out of date resolved malte  
wish 908 85 months ago 85 months ago silvan   Change MaxAdditiveSubsets to use indices into the pattern/PDB collection rather than shared pointers to PDBs resolved silvan silvan
wish 909 85 months ago 85 months ago jendrik   add function for formatting journal paper references resolved jendrik jendrik
critical 910 85 months ago 85 months ago silvan   Fix move assignment operator of State resolved silvan silvan
wish 911 85 months ago 3 months ago malte   Do not store TaskProxy in Pattern(Collection)Information resolved silvan silvan
bug 912 85 months ago 85 months ago malte   How to use more quantifiers in the domain? resolved alachun  
bug 913 83 months ago 26 months ago gabi translator Wrong behaviour with undefined numeric expressions resolved gabi  
wish 914 83 months ago 74 months ago silvan   M&S refactoring part 2: when terminating with several factors left, exclude factors with only goal states resolved silvan silvan
bug 915 83 months ago 83 months ago silvan   M&S: fix debug compilation resolved silvan silvan
wish 916 82 months ago 82 months ago jendrik   Support K,M,G suffixes for integer options in the code resolved jendrik jendrik
wish 917 82 months ago 82 months ago jendrik   remove make-ipc-submission script resolved jendrik jendrik
feature 918 82 months ago 82 months ago malte   update license info and add copy of the GPL resolved malte malte
feature 919 82 months ago 82 months ago silvan translator translator action instantiation: improve O(N) initial state queries resolved malte malte
feature 920 82 months ago 82 months ago florian   add scripts for making code distributions resolved florian florian
feature 921 82 months ago 48 months ago silvan   Use local logger instead of g_log in all heuristics resolved silvan silvan
wish 922 82 months ago 62 months ago jendrik   remove State copy constructor resolved jendrik jendrik
feature 923 82 months ago 68 months ago florian   Create LP containers for releases resolved florian  
meta 924 82 months ago 17 months ago salome translator issues related to axioms and negative conditions chatting malte  
feature 925 82 months ago 80 months ago florian   Support for CPLEX 12.9 resolved florian florian
feature 926 82 months ago 32 months ago florian   Support for Gurobi resolved florian florian
feature 927 79 months ago 37 months ago silvan   M&S refactoring part 2: get rid of LabelEquivalenceRelation and use label mappings local to TransitionSystem instead resolved silvan silvan
wish 928 78 months ago 78 months ago jendrik   make test scripts compatible with Python 3 resolved jendrik jendrik
wish 929 78 months ago 78 months ago jendrik   replace reindent.py with flake8 call resolved jendrik jendrik
wish 930 78 months ago 78 months ago jendrik   test translator and driver code under Python 2 and 3 resolved jendrik jendrik
wish 931 78 months ago 78 months ago jendrik   adjust style in Python files to flake8 resolved jendrik jendrik
wish 932 78 months ago 78 months ago jendrik   update or remove stone soup scripts resolved jendrik jendrik
wish 933 78 months ago 78 months ago jendrik   test autodoc with all supported Python versions resolved jendrik jendrik
wish 934 78 months ago 78 months ago jendrik   check all Python files with flake8 resolved jendrik jendrik
wish 935 78 months ago 78 months ago jendrik   use pytest for testing standard configurations resolved jendrik jendrik
<< previous   851..900 out of 1169 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: