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