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
feature 836 89 months ago 89 months ago salome   Don't use global object for predefinitions resolved salome salome
wish 837 89 months ago 64 months ago florian   use debug mode for STL in debug builds resolved jendrik jendrik
wish 838 89 months ago 80 months ago jendrik   reduce memory usage of causal graph heuristic cache in 64-bit builds resolved jendrik jendrik
wish 839 89 months ago 89 months ago malte   remove FF-landmark synergy resolved jendrik jendrik
feature 840 89 months ago 89 months ago salome   Use global registry only for plugin registering and pass argument otherwise resolved patfer patfer
wish 841 89 months ago 30 months ago malte   Two-stage initialization for registry resolved cedric  
feature 842 89 months ago 86 months ago patfer   Collect Plugin(/Type/Group) information on startup and construct later with tests resolved patfer patfer
feature 843 89 months ago 60 months ago silvan infrastructure On the Mac and Windows buildbots, use run-all-code-steps.py for testing resolved silvan  
wish 844 89 months ago 86 months ago jendrik   option parser: avoid special-case code for plug-in types that support predefinition resolved malte patfer
wish 845 89 months ago 89 months ago cedric   Guard against unsupported task transformations in the landmark heuristics resolved florian florian
wish 846 89 months ago 88 months ago malte   only compute cheap preferred operators in lmcount heuristic resolved jendrik jendrik
feature 847 89 months ago 89 months ago silvan   reduce boilerplate for hash functions unread jendrik  
bug 848 89 months ago 89 months ago jendrik   fix compilation for AppleClang 10.0.0.10001044 resolved jendrik jendrik
feature 849 89 months ago 88 months ago silvan   M&S refactoring part 2: split off merge-and-shrink algorithm from heuristic resolved silvan silvan
wish 850 89 months ago 88 months ago malte   add -Wnon-virtual-dtor compiler flag and unshadow some variables resolved jendrik jendrik
wish 851 89 months ago 86 months ago silvan   M&S refactoring part 2: more efficient computation of transitions of irrelevant operators resolved silvan silvan
feature 852 88 months ago 87 months ago jendrik infrastructure Raise minimum compiler requirement resolved florian florian
feature 853 88 months ago 88 months ago florian   Update FindCplex CMake script resolved florian augusto
bug 854 88 months ago 88 months ago florian   Build fails on macOS Mojave due to lack of support for i386 resolved arlyon  
feature 855 88 months ago 88 months ago jendrik   add -ldl linker option when building with CPLEX 12.8 resolved jendrik jendrik
wish 856 88 months ago 24 months ago jendrik   clang-tidy: add checks for std::move() chatting jendrik  
feature 857 88 months ago 88 months ago augusto   Create native build options for 64-bits resolved augusto augusto
bug 858 88 months ago 88 months ago thomas   Overflow in potential heuristics with high max_potential unread florian  
feature 859 88 months ago 87 months ago augusto   Analyze performance with GCC 4.8, 5.4 and 8.2 resolved augusto  
wish 860 88 months ago 82 months ago silvan   Eager search: move fetch_next_node() into step(), reuse evaluation context resolved silvan silvan
critical 861 88 months ago 86 months ago gabi   Testing email notifications in docker resolved florian  
bug 862 88 months ago 86 months ago malte translator Non-stratified axiom layers resolved gabi malte
bug 863 87 months ago 85 months ago florian infrastructure Issue tracker is slow when loading some pages resolved florian  
wish 864 87 months ago 86 months ago jendrik driver let driver delete intermediate file resolved jendrik jendrik
wish 865 87 months ago 30 months ago malte infrastructure Run buildbot workers for different macOS versions resolved florian  
feature 866 87 months ago 86 months ago jendrik   MKL Warning during linking resolved augusto  
bug 867 87 months ago 86 months ago jendrik driver let driver ignore external limits resolved jendrik jendrik
wish 868 87 months ago 83 months ago jendrik infrastructure Don't compile with -Werror by default resolved malte jendrik
feature 869 87 months ago 87 months ago malte   skip hard-to-translate tasks in daily/weekly tests resolved jendrik jendrik
wish 870 87 months ago 86 months ago jendrik   don't force static builds resolved jendrik jendrik
bug 871 87 months ago 85 months ago florian infrastructure Review buildbot config resolved florian  
wish 872 86 months ago 86 months ago florian   Update infrastructure documentation resolved florian florian
wish 873 86 months ago 86 months ago jendrik   Make option parser planner-independent resolved patfer patfer
bug 874 86 months ago 86 months ago gabi translator invariant synthesis forgets some constraints resolved gabi gabi
feature 875 86 months ago 67 months ago malte translator translator produces static variables chatting gnad  
feature 876 86 months ago 86 months ago jendrik   simplify inspecting failed nightly/weekly builds resolved jendrik jendrik
meta 877 86 months ago 85 months ago malte   performance improvements for relaxation heuristics chatting jendrik  
wish 878 86 months ago 5 months ago malte translator Output information about equivalent variable-value pairs in full encoding resolved florian  
bug 879 86 months ago 23 months ago gabi translator Non-deterministic invariant synthesis resolved gabi  
wish 880 86 months ago 86 months ago malte   CEGAR: remove transitions in batches resolved jendrik jendrik
wish 881 86 months ago 85 months ago jendrik   use proper exception classes in option parser resolved jendrik jendrik
wish 882 86 months ago 86 months ago jendrik   Run Bitbucket pipelines only for branches with active pull requests resolved jendrik jendrik
wish 883 86 months ago 86 months ago malte   CEGAR: update h values of all states instead of only states on trace resolved jendrik jendrik
wish 884 86 months ago 86 months ago jendrik   CEGAR: use h value for tie-breaking in A* search resolved jendrik jendrik
wish 885 86 months ago 86 months ago jendrik   docs: group potential heuristics resolved jendrik jendrik
<< previous   801..850 out of 1153 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: