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