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 1094 30 months ago 30 months ago florian   Get rid of ext/optional resolved florian florian
feature 1095 30 months ago 30 months ago remo   remove remaining traces of COIN/OSI and Gurobi resolved malte  
wish 1096 30 months ago 30 months ago florian   Deal with cases where we currently shadow variables unread florian  
feature 1097 30 months ago 28 months ago malte   Modernize the CMake build system resolved florian  
wish 1098 30 months ago 30 months ago silvan   rename cegar to cartesian_abstractions resolved silvan  
wish 1099 30 months ago 30 months ago malte   rename search engine to search algorithm resolved silvan silvan
wish 1100 30 months ago 29 months ago clemens   make names of features consistent; multiple feature namespaces chatting silvan  
feature 1101 30 months ago 30 months ago florian   Update release templates and scripts resolved florian  
bug 1102 30 months ago 5 months ago gabi   remove usage of deprecated --evaluator etc. chatting malte  
feature 1103 30 months ago 30 months ago florian   Try compiling each CMake plugin/library as its own library chatting florian  
wish 1104 30 months ago 30 months ago malte   Explore ways to generate reasonable and/or weak orderings chatting clemens  
wish 1105 29 months ago 24 months ago silvan   Refactor SCC-based merge strategy resolved silvan silvan
feature 1106 29 months ago 26 months ago florian   Support string parameters in option parser resolved florian  
wish 1107 29 months ago 29 months ago florian   add -Wmissing-declaration flag resolved jendrik jendrik
wish 1108 29 months ago 27 months ago clemens   Rename landmark cost assignment to cost partitioning. resolved clemens  
wish 1109 29 months ago 29 months ago jendrik   test all individual portfolio components resolved jendrik jendrik
wish 1110 29 months ago 28 months ago florian   integrate satisficing FDSS 2023 portfolio resolved jendrik jendrik
bug 1111 29 months ago 18 months ago clemens   CPLEX crashes when loading a MIP with only empty constraints. resolved clemens  
wish 1112 29 months ago 29 months ago florian   Add -Wzero-as-null-pointer-constant flag resolved florian florian
bug 1113 29 months ago 28 months ago malte   Features can have multiple parameters of the same name resolved simon  
wish 1114 29 months ago 24 months ago simon   Terminology of Argument/Argument_key vs. Parameter chatting simon  
bug 1115 28 months ago 24 months ago silvan   Undefined behaviour/bug in StateRegistry::get_successor_state resolved tkloessner silvan
wish 1116 28 months ago 28 months ago simon   Remove Experiments from the Repository resolved simon  
wish 1117 28 months ago 27 months ago silvan   let CMake check that source files exist chatting jendrik  
bug 1118 28 months ago 28 months ago jendrik   Fix method name in LP solver interface. resolved jendrik jendrik
bug 1119 28 months ago 28 months ago jendrik   fix SoPlex interface resolved jendrik jendrik
bug 1120 28 months ago 28 months ago florian   parser chokes on newlines on Windows resolved jendrik  
wish 1121 28 months ago 28 months ago florian   Fix CPLEX compilation on Windows for repos not named 'downward' resolved jendrik jendrik
bug 1122 28 months ago 27 months ago clemens   CPLEX sometimes does not install dynamic libraries for linking by default resolved clemens clemens
wish 1123 27 months ago 27 months ago florian   Use "Validate" if "validate" is not on the PATH resolved florian  
wish 1124 27 months ago 1 month ago malte   Improve SoPlex performance chatting florian florian
bug 1125 27 months ago 1 month ago malte   QtCreator chokes on new CMake scripts resolved jendrik  
wish 1126 27 months ago 27 months ago clemens   Use unordered_set to store landmark achievers resolved clemens  
bug 1127 27 months ago 23 months ago gabi translator Some goals do not work with non-propositional variables resolved gabi  
wish 1128 26 months ago 18 months ago malte   Enable goal flaws in CEGAR PDBs. resolved clemens  
wish 1129 24 months ago 24 months ago jendrik   enable more performance-related clang-tidy checks resolved jendrik jendrik
bug 1130 24 months ago 18 months ago clemens   Do not ignore bounds of iterated search components. resolved clemens  
wish 1131 24 months ago 13 months ago malte   backport small changes from Scorpion resolved jendrik jendrik
wish 1132 24 months ago 24 months ago jendrik   fix txt2tags markup resolved jendrik jendrik
bug 1133 24 months ago 24 months ago gabi translator Invariant synthesis accepts unbalanced candidate resolved florian  
feature 1134 24 months ago 18 months ago florian   Implement delete-relaxation operator counting constraints by Rankooh and Rintanen resolved remo  
wish 1135 24 months ago 7 months ago clemens   Avoid passing global arguments through recursive functions in hm landmark factory. resolved clemens  
wish 1136 23 months ago 23 months ago gabi   Support compilations that require auxiliary actions unread gabi  
feature 1137 20 months ago 20 months ago florian   Disable presolving for potential heuristics chatting florian  
bug 1138 20 months ago 20 months ago jendrik   normal termination doesn't call destructors resolved jendrik jendrik
bug 1139 19 months ago 19 months ago malte driver unhandled exception in driver when portfolio cannot run any search configs chatting malte  
bug 1140 19 months ago 18 months ago remo   Sub-optimal plans for A*-inspired eager configuration without re-opening and with consistent heuristic resolved remo  
wish 1141 19 months ago 1 month ago malte   Improve rounding for fractional heuristic values resolved florian  
wish 1142 18 months ago 18 months ago florian   Update Github actions to new versions resolved florian  
wish 1143 18 months ago 18 months ago simon   Fix inheritance hierarchy of search algorithms. chatting clemens  
<< previous   1051..1100 out of 1153 next >>  
Download as CSV
Sort on: Descending:
Descending:
Group on: Descending:
Descending: