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