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